Tag: Lean4

• 

  Delamano

  (Thinking about improvements)
  Updated: 19 Jan, 2025
  •  ReactJs
  •  Typescript
  •  Redux
  •  Lean4
  •  HTML
  •  CSS

  Web platform made to learn proofs for discrete mathematics.