Loreon
Labs
Platform
Docs
Home
Ecosystems
Haskell
lpnext
An interactive/automated program verifier
Haskell
Emerging
GitHub
Stars
1
Forks
—
Contributors
1
Last push
1d ago
Recent commits
Latest commits.
Update README with project status and alternatives
6ff193c
Eric Conlon
1d ago
etc
2118807
Eric Conlon
2d ago
etc
be5c649
Eric Conlon
2d ago
readme
a5deec2
Eric Conlon
2d ago
import
1dc646e
Eric Conlon
2d ago
etc
a8e70fa
Eric Conlon
3d ago
init
129a974
Eric Conlon
3d ago
Top contributors
Builders behind this project.
ejconlon
7 commits
