Sequoia

swMATH44610MaRDI QIDQ1334377FDOQ1334377

Author name not available (Why is that?)

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

Cited In (1)

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

This page was built for software: Sequoia