aboutsummaryrefslogtreecommitdiffstats
path: root/Mathematics.lean
blob: 59508fa3cd1aaece7a8ebc293597d2a81f31c468 (plain) (blame) 
1
2
3
4
5

-- Knowledge Base domain: Mathematics

opaque Entity : Type
opaque socrates : Philospher
axiom fact_birthYear_socrates : birthYear socrates = 420
generated by cgit v1.3-1-g0d28 (git 2.53.0) at 2026-03-27 10:11:47 +0000