C1ick and C⊗LLec⊥: Interactive linear logic prover(click-and-collect.linear-logic.org)1 pointby: abathologist3 days ago
abathologist 3 days ago [ - ]Github Page: https://github.com/etiennecallies/click-and-collect/wiki Linear Logic: https://en.wikipedia.org/wiki/Linear_logic
C1ick and C⊗LLec⊥: Interactive linear logic prover
(click-and-collect.linear-logic.org)
1 point
by: abathologist
3 days ago
1 comment
abathologist
3 days ago
[ - ]
Github Page: https://github.com/etiennecallies/click-and-collect/wiki Linear Logic: https://en.wikipedia.org/wiki/Linear_logic