Pinned Loading

1. mamba mamba Public

   A Python interpreter I wrote to learn more about programming language implementations.

   TypeScript

2. lean-4-book-solutions lean-4-book-solutions Public

   My solutions to excersises in Theorem Proving in Lean 4

   Lean