explicit proofs for bit projections
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEbad75618fb82: extraction of equations x = t from premises beneath meta-all
- Branches
- Unknown
- Tags
explicit proofs for bit projections Tags None Subscribers None |