uclnlp / ctp

Conditional Theorem Proving
MIT License
51 stars 17 forks source link