Giters
TypicalMath

TypicalMath

Geek Repo

205 Yassemi Dead End, UT

Github PK Tool:Github PK Tool

TypicalMath's repositories

prop-calc

Propositional Calculus in Coq by Floris van Doorn

Language:CoqStargazers:3Issues:1Issues:0

subst-interpol

Uniform Interpolation for some Substructural Logics (work in progress)

Language:CoqStargazers:2Issues:2Issues:0

cpc

A try to implement the completeness theorem of classical propositional logic

Language:CoqStargazers:0Issues:1Issues:0

hilbert-gentzen

Every Hilbert-style proof has a Natural couterpart, and vice versa.

Language:CoqStargazers:0Issues:1Issues:0

lambda2

An implementatino of λ2 system, with some simple properties

Language:CoqStargazers:0Issues:1Issues:0

nat-finset

Re-inventing finite sets (because (learning) ssreflect is overkill)

Language:CoqStargazers:0Issues:1Issues:0

ruitenburg1984

A https://git8.cs.fau.de/software/ruitenburg1984/ fork

Language:CoqStargazers:0Issues:0Issues:0

stl

The Logic of Spacetime in Coq

Language:CoqStargazers:0Issues:0Issues:0