Explore projects

View crisys2 project

Naoki Nishida / crisys2

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

0

Updated Dec 13, 2024

0 0 0

Updated Dec 13, 2024
View repius project

Naoki Nishida / repius

0

Updated Mar 31, 2022

0 0 0

Updated Mar 31, 2022