mcdoll

Melbourne

Pinned Repositories

mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 52 362297
mathlib4
The math library of Lean 4
Language:Lean1.2k 41 379259
lean4
Lean 4 programming language and theorem prover
Language:Lean4.1k 67 1.7k350
armv7
Low level armv7 routines for rust
Language:Rust5 1 02
blog
Source for the community blog
Language:Python00
brainfuck
A small brainfuck interpreter written in haskell
Language:Haskell00
lean4
Lean 4 programming language and theorem prover
Language:Lean00
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
sitara
Low level access to the AM335x Sitara SoC by TI
Language:Rust10

mcdoll's Repositories

mcdoll/armv7
Low level armv7 routines for rust
Language:Rust5 1 02
mcdoll/sitara
Low level access to the AM335x Sitara SoC by TI
Language:Rust10
mcdoll/blog
Source for the community blog
Language:Python00
mcdoll/brainfuck
A small brainfuck interpreter written in haskell
Language:Haskell00
mcdoll/lean4
Lean 4 programming language and theorem prover
Language:Lean00
mcdoll/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
mcdoll/mathlib4
Work in progress mathlib port for lean 4
Language:Lean
mcdoll/mcdoll.github.io
Language:HTML
mcdoll/rust-beagle
Example code for running a rust operating system on the beaglebone black
Language:Rust
mcdoll/sphere-packing
Project to formalize the optimal sphere packing bound in dimension 8
Language:Lean
mcdoll/std4
Standard Library for Lean 4
Language:Lean
mcdoll/test_upload
testing how uploading works with lake
Language:Lean