Pinned Repositories
EmptyHexagonLean
Code related to the Lean verification of the empty hexagon theorem
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
lean4
Lean 4 programming language and theorem prover
lean-sat
lean-sesh
Session types in Lean
lists-rs
Concurrent data structures in Rust
npm-widget
tpil-solutions
My solutions to exercises in "Theorem Proving in Lean"
xnfsat
Vtec234's Repositories
Vtec234/npm-widget
Vtec234/lean-sat
Vtec234/blog-gen
Static site generator used for my website at https://voidma.in/
Vtec234/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Vtec234/cryptol
Cryptol: The Language of Cryptography
Vtec234/emscripten
Emscripten: An LLVM-to-WebAssembly Compiler
Vtec234/groupoid_model_in_lean4
Vtec234/lamr
Logic and Mechanized Reasoning
Vtec234/lean-crypto
Cryptographic routines for the Lean 4 language
Vtec234/lean-smt
Tactics for discharging Lean goals into SMT solvers.
Vtec234/lean4
Lean4 work in progress repo
Vtec234/lean4-bits
Experiments in Lean 4. Buggy. Don't use.
Vtec234/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Vtec234/lean4-infoview
Vtec234/lean4-seq
Equality types for type families
Vtec234/LeanColls
WIP collections library for Lean 4
Vtec234/logseq
A privacy-first, open-source platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap
Vtec234/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Vtec234/mathlib4
Work in progress mathlib port for lean 4
Vtec234/napkin
An Infinitely Large Napkin
Vtec234/nixpkgs
Nix Packages collection & NixOS
Vtec234/Poly
A Lean4 Formalization of Polynomial Functors
Vtec234/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Vtec234/quote4
Intuitive, type-safe expression quotations for Lean 4.
Vtec234/std4
Standard Library for Lean 4
Vtec234/theHoTTGameGuide
Vtec234/tutorials
Starter code repository for Penrose tutorials.
Vtec234/vscode
Visual Studio Code
Vtec234/vscode-languageserver-node
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js
Vtec234/vscode-lean4