Name		Name	Last commit message	Last commit date
experiments		experiments
src		src
test		test
.gitignore		.gitignore
.hlint.yaml		.hlint.yaml
cabal.project		cabal.project
fourmolu.yaml		fourmolu.yaml
readme.md		readme.md
straylight.cabal		straylight.cabal
test.stray		test.stray

Repository files navigation

straylight

straylight is a (WIP) Lambda-superposition automated theorem prover.

About

Reference implementation of a Lambda-superposition theorem prover

0 stars

1 watching

Report repository

Releases

Contributors

Languages