Skip to content

owo-lang/theories

BranchesTags
 
 

Folders and files

NameName
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

Activity
Custom properties

Stars

0 stars

Watchers

0 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • OCaml 87.1%
  • Standard ML 10.5%
  • SMT 1.7%
  • Python 0.2%
  • C 0.2%
  • Prolog 0.2%
  • Other 0.1%