All

11 repositories

cat
Public
Mini Category Theory for F-Algebras
Coq
•0•0•0•0•Updated Oct 22, 2017Oct 22, 2017
hit
Public
Three HITs Theorem
Coq
•0•0•0•0•Updated Apr 4, 2017Apr 4, 2017
hit-samples
Public
HoTT Examples
Coq
•
MIT License
•0•0•0•0•Updated Apr 4, 2017Apr 4, 2017
ftarith
Public
Fundamental Theorem of Arithmetic
Coq
•0•0•0•0•Updated Mar 30, 2017Mar 30, 2017
ftc
Public
Fundamental Theorem of Calculus
calculus newton leibniz-formula
calculus newton leibniz-formula integral-equations
Coq
•0•0•0•0•Updated Mar 29, 2017Mar 29, 2017
topology
Public
Zorn's Lemma and General Topology
topology
topology
Coq
•
Other
•1•3•0•0•Updated Mar 29, 2017Mar 29, 2017
lambda
Public
Untyped Lambda Calculus as Initial Object in Cat of Exponential Monads
monads lambda-calculus exponential
monads lambda-calculus exponential
Coq
•0•1•0•0•Updated Mar 28, 2017Mar 28, 2017
termination
Public
CoInduction Termination and Category Theory
streams category-theory coinduction
streams category-theory coinduction
Coq
•0•0•0•0•Updated Mar 28, 2017Mar 28, 2017
real
Public
Real Numbers as CoInductive Streams of Digits
modeling numbers coinduction
modeling numbers coinduction
Coq
•
Other
•0•1•0•0•Updated Mar 28, 2017Mar 28, 2017
set
Public
Tarski-Grothendieck Set Theory
set-theory paradox
set-theory paradox
Coq
•0•1•0•0•Updated Mar 14, 2017Mar 14, 2017
interpreter
Public
Dependent Theory Interpreter
dependent-types interpreter lambda-calculus
dependent-types interpreter lambda-calculus
Coq
•0•1•0•0•Updated Feb 16, 2017Feb 16, 2017

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Verified Mathematics

All

All

11 repositories

cat

hit

hit-samples

ftarith

ftc

topology

lambda

termination

real

set

interpreter

All

All

Repositories list

11 repositories