WIP - proof by tactics
Description
Description
Details
Details
- Committed
Liu Fengyun <liu@fengy.me> Oct 3 2019, 14:56 - Pushed
liuf Oct 4 2019, 15:04 - Parents
- R9452:d0de388131d6: clean outputs
- Branches
- Unknown
- Tags
WIP - proof by tactics
WIP - proof by tactics
Authored by Liu Fengyun <liu@fengy.me> on Oct 3 2019, 14:56.
Tags
None
Subscribers
None