Skip to content

Top Best Ask Show New Jobs

C1ick and C⊗LLec⊥: Interactive linear logic prover (opens in new tab)

(click-and-collect.linear-logic.org)

1 pointsabathologist9mo ago1 comments

1 comments

1 comments · 1 top-level

abathologistOP9mo ago

Github Page: https://github.com/etiennecallies/click-and-collect/wiki Linear Logic: https://en.wikipedia.org/wiki/Linear_logic

j / k navigate · click thread line to collapse