Abstracts.2020.Sequent

Jump to bottom

Fabian edited this page Apr 27, 2021 · 5 revisions

Sequent Calculi

by Nachi

Resources

Logitext (web-based proof assistant for first-order classical logic using the sequent calculus)