Sequoia

swMATH44610MaRDI QIDQ1334377FDOQ1334377

Author name not available (Why is that?)

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