Pinned Repositories
reactor-model
A Lean-based formalization of the Reactor model.
arduinors
A library for interacting with an Arduino and the Arduino CLI.
bachelors-thesis
data-field
A SwiftUI view that wraps a text field to only accept specific data.
formale-systeme
kaleidoscope
A Swift-implementation of the LLVM-tutorial language Kaleidoscope.
lean-ccs
A definition of CCS and verified computable reduction to LTS in Lean.
lean-egg
A (WIP) equality saturation tactic for Lean based on egg.
lean-snakebird
An implementation of Snakebird in Lean.
model-checking
Lean-formalizations of material from "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen
marcusrossel's Repositories
marcusrossel/lean-egg
A (WIP) equality saturation tactic for Lean based on egg.
marcusrossel/lean-snakebird
An implementation of Snakebird in Lean.
marcusrossel/model-checking
Lean-formalizations of material from "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen
marcusrossel/bachelors-thesis
marcusrossel/lean-ccs
A definition of CCS and verified computable reduction to LTS in Lean.
marcusrossel/aerial-metrics
A macOS app for generating Excel spreadsheets from Instagram Graph API data.
marcusrossel/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
marcusrossel/egg
egg is a flexible, high-performance e-graph library
marcusrossel/equational_theories
A project to map out the relations between different equational theories of Magmas.
marcusrossel/excel-swift
marcusrossel/foundations-of-logic-and-proof
marcusrossel/goodreads
marcusrossel/lean-calcify
marcusrossel/lean-sys
Rust bindings for the Lean 4 proof assistant
marcusrossel/lean4
Lean 4 programming language and theorem prover
marcusrossel/lean4-maze
maze game encoded in Lean 4 syntax
marcusrossel/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
marcusrossel/linear-algebra
Lean-formalizations of parts of the Khan Academy course on linear algebra.
marcusrossel/lingua-franca
Intuitive concurrent programming in any language
marcusrossel/mandelbrot
marcusrossel/mathlib4
The math library of Lean 4
marcusrossel/mwe
A repository for MWEs in Lean.
marcusrossel/nalgee
An app for illuminating bottles written in SwiftUI.
marcusrossel/old-egg
This is a testing repository for the predecessor of the current egg tactic. Checkout the lean-egg repository for the current version.
marcusrossel/philzook58.github.io
My Blog
marcusrossel/rede
A half-finished bookmark app written in SwiftUI.
marcusrossel/slotted-egraphs
marcusrossel/stlc
A formalization of STLC and some standard properties.
marcusrossel/theorem_proving_in_lean4
Theorem Proving in Lean 4
marcusrossel/weighted-tree-automata
A haphazard and WIP formalization of "Weighted Tree Automata - May it be a little more?".