kbuzzard/MweSkeletons kbuzzard/MweSkeletons

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Lean
  • Created over 1 year ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kbuzzard/MweSkeletons
github

kbuzzard

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Mathlib4 hierarchy skeletons for making mathlib-free MWEs in Lean 4

More Repositories

1

xena

Lean Library currently studying for a degree at Imperial College
Lean
228
star
2

lean-stacks-project

Formal verification of parts of the Stacks Project in Lean
Lean
21
star
3

mathematics-in-lean

Learning material for mathematicians who want to learn Lean
Lean
9
star
4

real-numbers-course

A course on basic real analysis in Lean
Lean
8
star
5

mathlib4_experiments

Porting random files from Lean 3 mathlib into Lean 4, just for fun.
Lean
7
star
6

IISc-experiments

Some material for Lean 4 lectures at IISc
Lean
7
star
7

etale_experiments

Experiments with definition of etale morphisms etc
Lean
5
star
8

FilterGame

An interactive game introducing the concept of a filter.
Lean
5
star
9

lean4-filters

thinking about a "filter game" in Lean 4.
Lean
4
star
10

lean-squares-in-fibonacci

144 is the largest square in the Fibonacci sequence
Lean
4
star
11

xena-maze-game

A simple maze game in Lean
Lean
4
star
12

lean-game-skeleton

A skeleton repo for use with the Lean game maker
Lean
4
star
13

maze-game

An abstraction of a maze.
Lean
3
star
14

Numbers

Defining numbers as equivalence classes of finite types
Lean
3
star
15

xenalib

Xena's maths library
2
star