`FormalConjecturesUtil/`

99 declarations, 7 contain sorry, 0 declared as axioms; 22 files

Folders

Answer/ 1 files, 0 declarations
Attributes/ 2 files, 28 declarations
Linters/ 16 files, 59 declarations

Files

Answer.lean 12 declarations
DeclName.lean 0 declarations
Metadata.lean 0 declarations