juliangrove / lambda-to-fol Public

Interpret lambda-terms into first-order formulae.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
ProbProg @ ba5e789		ProbProg @ ba5e789
fol-prover @ 17d1058		fol-prover @ 17d1058
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
README.org		README.org
cabal.project		cabal.project
lambda-to-fol.cabal		lambda-to-fol.cabal
shell.nix		shell.nix