Pinned Loading

1. objectionary/proof objectionary/proof Public

   Proof of 𝜑-calculus confluence in Lean4

   Lean 8 2

2. rzk-lang/hottbook rzk-lang/hottbook Public

   HoTT Book formalisations in Rzk.

   Markdown 24 1