C1ick and C⊗LLec⊥: Interactive linear logic prover (click-and-collect.linear-logic.org) 1 points by abathologist 10mo ago ↗ HN
[–] abathologist 10mo ago ↗ Github Page: https://github.com/etiennecallies/click-and-collect/wiki Linear Logic: https://en.wikipedia.org/wiki/Linear_logic
1 comment
[ 3.4 ms ] story [ 14.6 ms ] thread