R

redex-plus

Project information

An extension of PLT Redex for theorem proving

(Name is not final)

457 Commits
9 Branches
0 Tags

README
MIT License

Created on

May 22, 2020

Loading