The following pages link to gaia (Q21587):
Displayed 4 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- On Bourbaki's axiomatic system for set theory (Q2263057) (← links)
- (Q3075244) (← links)
- Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers (Q5195277) (← links)