extraction of equations x = t from premises beneath meta-all
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEace45a11a45e: a small aggiornamento for Z2
- Branches
- Unknown
- Tags
extraction of equations x = t from premises beneath meta-all
Description extraction of equations x = t from premises beneath meta-all
Details
Event Timeline |