ParentFull threadjoycian·https://formalabstracts.github.io/Tom Hales' formal abstracts project may be to your liking.View on HN