FormalConjecturesTest/Util/Attributes/
14 declarations, 5 contain sorry, 0 declared as axioms; 1 files
Files
- Basic.lean 14 declarations
FormalConjecturesTest/Util/Attributes/14 declarations, 5 contain sorry, 0 declared as axioms; 1 files