Top New Best Ask Show Jobs

C1ick and C⊗LLec⊥: Interactive linear logic prover | Hacker News Reader

C1ick and C⊗LLec⊥: Interactive linear logic prover

click-and-collect.linear-logic.org

1 point·abathologist··1 comment

Open articleView on HN

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

Reply on news.ycombinator.com