100% Free Free Rank Your Site Faster — Get a Quality Backlink Today
Get Started
Oliver Butterley
GitHub

Oliver Butterley

@oliver-butterley

View GitHub Profile

About

Mathematics, software verification, Lean

Followers 18
Following 9
Public Repositories 28
Expertise

Skills & Technologies

TypeScript OCaml Lean TeX Rust
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

github-contrib-tracker

TypeScript

No project description available.

⭐ 0 Forks: 0
TypeScript View Project

aeneas

OCaml

A verification toolchain for Rust programs

⭐ 0 Forks: 0
OCaml View Project

FFEC

Lean

No project description available.

⭐ 0 Forks: 0
Lean View Project

ma2-2024

TeX

No project description available.

⭐ 1 Forks: 1
TeX View Project

mathlib4

Lean

The math library of Lean 4

⭐ 0 Forks: 0
Lean View Project

curve25519-dalek

Rust

A pure-Rust implementation of group operations on Ristretto and Curve25519

⭐ 0 Forks: 0
Rust View Project
← Back to Talent Open GitHub Profile ↗