HoTTLean/attic at master · sinhp/HoTTLean · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
FibrationForMathlib		FibrationForMathlib
ForMathlib		ForMathlib
Groupoids-NaturalModel		Groupoids-NaturalModel
Russell_PER_MS		Russell_PER_MS
Syntax		Syntax
Tarski		Tarski
Typechecker		Typechecker
Display.lean		Display.lean
ForMathlib.lean		ForMathlib.lean
NaturalModel.lean		NaturalModel.lean
NaturalModelBase.lean		NaturalModelBase.lean
PullbackProofs.lean		PullbackProofs.lean
README.md		README.md

README.md

Files that are not currently needed but may be used in the future are stored in the attic.