greenrd.org

 

yasap

Page history last edited by Anonymous 4 yrs ago

Yasap - Yet Another Semi-Automated Prover

 

Yasap is being written in Haskell at the moment. No code has yet been released, as I'm still trying out different stuff.

 

Related work

 

This is not supposed to be an exhaustive list!

 

Comments (0)

You don't have permission to comment on this page.