`FormalConjecturesTest/Util/`

80 declarations, 26 contain sorry, 1 declared as axioms; 12 files

Folders

Attributes/ 1 files, 14 declarations
Linters/ 10 files, 59 declarations

Files

Answer.lean 7 declarations