GitHub - LdBeth/theories: MetaPRL theories

Name		Name	Last commit message	Last commit date
Latest commit History 2,722 Commits
cic		cic
czf		czf
experimental		experimental
fir		fir
fol		fol
hol		hol
ilc		ilc
itt		itt
kat		kat
lf		lf
mesa		mesa
meta		meta
ocaml_sos		ocaml_sos
poplmark/naive		poplmark/naive
s4lp		s4lp
sil		sil
tptp		tptp
tutorial		tutorial
.gitattributes		.gitattributes
.gitignore		.gitignore