axioms topic
List
axioms repositories
schuller-geometric
131
Stars
45
Forks
Watchers
Source code for lecture notes
leanteach2020
21
Stars
5
Forks
Watchers
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
ir_axioms
23
Stars
1
Forks
Watchers
↕️ Intuitive axiomatic retrieval experimentation.