3 ms·

C1ick and C⊗LLec⊥: Interactive linear logic prover

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