/L-framework

This tool aims at developing techniques for proving structural properties of sequent systems using rewriting logic (Maude)

GNU General Public License v3.0GPL-3.0

No issues in this repository yet.