Popular repositories Loading

1. Formalisation Formalisation Public

   This repository contains some of my formalisations works towards algebra.

   Lean

2. Mathematics Mathematics Public

   TeX

3. algorithms_in_FP algorithms_in_FP Public

   This is a repository for algorithm's implementation in Lean4 and Haskell.

4. SoftwareFoundations SoftwareFoundations Public

   Rocq Prover

5. TheRustProgrammingLanguage TheRustProgrammingLanguage Public

   Rust

6. build-your-own-x build-your-own-x Public

   Forked from codecrafters-io/build-your-own-x

   Master programming by recreating your favorite technologies from scratch.

   Markdown