GitHub - ps-tuebingen/one-sided-sc-web: Website for the one-sided sequent calculus ps-tuebingen/One-Sided-Sequent-Calculus · GitHub

Repository navigation

one-sided-sc-web

Public

About

Website for the one-sided sequent calculus ps-tuebingen/One-Sided-Sequent-Calculus

Custom properties

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
README.md		README.md

Repository files navigation

Web Demo for https://github.com/ps-tuebingen/One-Sided-Sequent-Calculus

About

Website for the one-sided sequent calculus ps-tuebingen/One-Sided-Sequent-Calculus

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors