david-christiansen / pudding-oldLinks

A language-integrated proof assistant, for and in Racket
39Updated 8 years ago

Alternatives and similar repositories for pudding-old

Users that are interested in pudding-old are comparing it to the libraries listed below

Sorting: