Repositories list

• plasma-converter

  Public
  Lean

  •0•1•0•0•Updated Nov 23, 2024Nov 23, 2024

• wayfinder

  Public
  Python

  •0•1•0•0•Updated Oct 27, 2024Oct 27, 2024

• repl

  Public
  A simple REPL for Lean 4, returning information about errors and sorries.

  Lean

  •36•0•0•0•Updated Oct 24, 2024Oct 24, 2024