Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Xu, Junfeng
redex-plus

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

Copy SSH clone URLgit@gitlab.com:xujunfeng/redex-plus.git
Copy HTTPS clone URLhttps://gitlab.com/xujunfeng/redex-plus.git