pllk / kkkk
Kisakoodarin käsikirja
☆15Updated 2 years ago
Alternatives and similar repositories for kkkk:
Users that are interested in kkkk are comparing it to the libraries listed below
- A slightly improved variant of the official thesis sample☆28Updated 10 months ago
- ☆72Updated last year
- Lean Library currently studying for a degree at Imperial College☆225Updated last month
- HoTTEST Summer School materials☆297Updated last year
- Server to host lean games.☆250Updated 2 weeks ago
- The Incredible Proof Machine☆373Updated last month
- Neovim support for the Lean theorem prover☆340Updated this week
- Natural Number Game☆154Updated 3 weeks ago
- #SharingIsCaring #CaringIsSharing☆85Updated 2 months ago
- ☆191Updated this week
- Miscellaneous articles. The readme is the table of contents.☆1,259Updated last year
- A tool for supervising execution of programs submitted in algorithmic competitions☆32Updated 3 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆253Updated this week
- Algebraic graphs☆737Updated 10 months ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆444Updated 6 years ago
- Competitive Programmer's Handbook☆3,155Updated 8 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- Haskell implementation of the wayland protocol☆90Updated 7 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆81Updated 2 years ago
- Compiling to Categories☆448Updated last year
- Contest Management System☆14Updated last month
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- A native Python library for permutation pattern research☆16Updated 3 weeks ago
- Interactive theorem proving with Coq in vim.☆186Updated 4 years ago
- higher-order, no-boilerplate monads☆1,042Updated 3 weeks ago
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆412Updated 3 weeks ago
- ☆162Updated 5 years ago
- Nix and Haskell in production☆1,152Updated last year
- Proving leftpad correct two-dozen different ways☆669Updated last week