Skip to content

rosekunkel/lh-sequent-calc

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits
examples/homework-1
examples/homework-1
 
 
src
src
 
 
test
test
 
 
travis
travis
 
 
.gitignore
.gitignore
 
 
.travis.yml
.travis.yml
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
Setup.hs
Setup.hs
 
 
package.yaml
package.yaml
 
 
stack.yaml
stack.yaml
 
 

Repository files navigation

Sequent calculus proofs with Liquid Haskell

Build Status

About

Sequent calculus proofs in Liquid Haskell

Resources

Readme

License

BSD-3-Clause license
Activity

Stars

1 star

Watchers

3 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages