Arnaud Spiwack

icon indicating a website link http://assert-false.science/arnaud icon indicating an email [email protected]

icon company Tweag icon location Paris

Results 2 repositories owned by Arnaud Spiwack

haskell-benign

19
Stars
0
Forks
Watchers

A library for benign effects in Haskell

verified publisher icon aspiwack

peppermint-prover

42
Stars
2
Forks
Watchers

Experimental proof assistant (and architecture) for dependent linear logic

verified publisher icon aspiwack