GitHub - owo-lang/theories: MetaPRL theories, get MetaPRL from https://github.com/LdBeth/metaprl · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2,671 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
.gitignore		.gitignore

About

MetaPRL theories, get MetaPRL from https://github.com/LdBeth/metaprl

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages