3 ms·
Some argue that Lean breaks a few type-theoretical properties. See full discussion here: https://github.com/rocq-prover/rocq/issues/10871 https://github.com/ro
by xvilka 27d ago
Some argue that Lean breaks a few type-theoretical properties. See full discussion here:
https://github.com/rocq-prover/rocq/issues/10871 https://github.com/rocq-prover/rocq/issues/10871