Pinned Repositories
mathlib4
The math library of Lean 4
lean4
Lean 4 programming language and theorem prover
EmbeddingTheorem
A lecture on a proof of the Freyd-Mitchell Embedding Theorem
EZKey
A C#.NET/WPF application for live streamers of real time strategy games to visualize their keyboard usage
HuffmanEncoding
Huffman Encoding in C#
lean-homological-algebra
Lean formalizations of things loosely related to homological algebra
Malom2Morris
Dieses Repository enthält eine modifizierte Version des Quellcodes von Malom3 sowie die Malom2Morris-Brücke
sudoku
A sudoku game where you have to prove that your deductions are valid
supreme-pancake
Technical report on the architecture of the GUI of the Windows operating system
wavelength-ide
A browser-based IDE for the untyped lambda calculus. Try it:
TwoFX's Repositories
TwoFX/sudoku
A sudoku game where you have to prove that your deductions are valid
TwoFX/aoc2021
TwoFX/aoc2022
TwoFX/HashMap
TwoFX/lean4-afl
Various scripts and data files I use to test Lean 4 using AFL
TwoFX/aoc2019
TwoFX/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
TwoFX/DataStructures
TwoFX/dicegame
TwoFX/Http.lean
HTTP Primitives for Lean4
TwoFX/lean
Lean Theorem Prover
TwoFX/lean-dpll
A formally verified implementation of the DPLL algorithm
TwoFX/lean-logic
TwoFX/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
TwoFX/leanprover-contrib
TwoFX/lect
Tool for organizing lecture notes
TwoFX/libuv
Cross-platform asynchronous I/O
TwoFX/loogle
Mathlib search tool (repurposed for something completely different)
TwoFX/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
TwoFX/merlin-hunt
A puzzle hunt for people who know how to program
TwoFX/OrderedTree
TwoFX/partiii
Lecture notes for Part III of the Mathematical Tripos
TwoFX/perf-experiments
TwoFX/quarkus
Quarkus: Supersonic Subatomic Java.
TwoFX/queueboard
Mathlib4 review and triage dashboard
TwoFX/resteasy-reactive-large-request-bug
TwoFX/textgames
TwoFX/TwoFX
TwoFX/twofx.github.io
TwoFX/verso
Lean documentation authoring tool