Sequoia

MaRDI QIDQ1334377swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-030-51054-1_32

Source code repository https://github.com/meta-logic/sequoia

Cited in

(3)

• Quati
• Incredible Proof Machine
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

This page was built for software: Sequoia