Pinned Repositories
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
mathlib4
The math library of Lean 4
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
SciLean
Scientific computing in Lean 4
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
book
The Rust Programming Language
DGAlgorithms
Distributed Graph Algorithms in Lean
iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
loogle-lean
Shreyas4991's Repositories
Shreyas4991/loogle-lean
Shreyas4991/DGAlgorithms
Distributed Graph Algorithms in Lean
Shreyas4991/iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Shreyas4991/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Shreyas4991/book
The Rust Programming Language
Shreyas4991/coala
Easy to use code analysis framework/application - yes! For all languages!
Shreyas4991/coala-bears
Bears for coala
Shreyas4991/DiscreteMathLean
Shreyas4991/Eventloop
An amateurish attempt to revive an old hobby
Shreyas4991/How-to-Make-a-Computer-Operating-System
How to Make a Computer Operating System in C++
Shreyas4991/markdown-preview-plus
Markdown Preview + Community Features
Shreyas4991/mathlib4
Work in progress mathlib port for lean 4
Shreyas4991/redbase-haskell
Shreyas4991/flypitch
A formal proof of the independence of the continuum hypothesis
Shreyas4991/lean4
Lean 4 programming language and theorem prover
Shreyas4991/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Shreyas4991/pfr
Shreyas4991/quote4
Intuitive, type-safe expression quotations for Lean 4.
Shreyas4991/SciLean
Scientific computing in Lean 4
Shreyas4991/Shreyas4991.github.io
The source for my static website and blog
Shreyas4991/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant