Popular repositories Loading

1. Lean-Seminar-Sp2022 Lean-Seminar-Sp2022 Public

   Storing all of the content from the Learning Lean Seminar from Spring 2022

   Lean 2

2. AdventOfCode AdventOfCode Public

   Solving 2022 Advent of Code problems in Lean 4

   Lean 1

3. LLL2023 LLL2023 Public

   Slides from my talk in London Learning Lean

   TeX 1

4. FFaCiL FFaCiL Public

   Forked from argumentcomputer/FFaCiL.lean

   Finite Fields and Curves in Lean

   Lean 1

5. mpenciak.github.io mpenciak.github.io Public

   Forked from daattali/beautiful-jekyll

   my personal website, redirected

   HTML

6. lean4-metaprogramming-book lean4-metaprogramming-book Public

   Forked from leanprover-community/lean4-metaprogramming-book

   Lean