Pinned Repositories
cat
Mini Category Theory for F-Algebras
ftarith
Fundamental Theorem of Arithmetic
ftc
Fundamental Theorem of Calculus
hit
Three HITs Theorem
hit-samples
HoTT Examples
lambda
Untyped Lambda Calculus as Initial Object in Cat of Exponential Monads
real
Real Numbers as CoInductive Streams of Digits
set
Tarski-Grothendieck Set Theory
termination
CoInduction Termination and Category Theory
topology
Zorn's Lemma and General Topology
Verified Mathematics's Repositories
verimath/topology
Zorn's Lemma and General Topology
verimath/real
Real Numbers as CoInductive Streams of Digits
verimath/ftc
Fundamental Theorem of Calculus
verimath/lambda
Untyped Lambda Calculus as Initial Object in Cat of Exponential Monads
verimath/set
Tarski-Grothendieck Set Theory
verimath/cat
Mini Category Theory for F-Algebras
verimath/ftarith
Fundamental Theorem of Arithmetic
verimath/hit
Three HITs Theorem
verimath/hit-samples
HoTT Examples
verimath/termination
CoInduction Termination and Category Theory
verimath/interpreter
Dependent Theory Interpreter