Skip to content

GitLab

Explore

Sign in
Register

C

crisys2

Project information

A project to implement crisys2, a new tool for rewriting induction over LCTRSs

89 Commits
2 Branches
0 Tags

README

Created on

November 18, 2019

Copy SSH clone URLgit@git.trs.css.i.nagoya-u.ac.jp:nishida/crisys2.git
Copy HTTPS clone URLhttps://git.trs.css.i.nagoya-u.ac.jp/nishida/crisys2.git