Isaac van Bakel

icon indicating an email [email protected]

icon location Haskell developer, programming language & formal verification theorist

Results 67 repositories owned by Isaac van Bakel

hout-prover

34
Stars
1
Forks
Watchers

A non-interactive proof assistant using the Haskell type system

verified publisher icon ivanbakel