.lake/
Axioms.lean
CoreAxioms.lean
*.olean
*.ilean
!axioms.log
