vihdzp/polytope_new

Stars
5
Rank 2,861,937 (Top 57 %)
Language Lean
Created about 3 years ago
Updated about 3 years ago

vihdzp/polytope_new

vihdzp

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

Abstract polytopes in Lean!

miratope-rs

A tool for building and visualizing polytopes.

colimiter

An inverse limiter.

miratope

A renderer for polytopes.

polytope-intro

A short introduction to the Polytope Discord, and the things we do around there.

pointillism

A compositional library for musical composition.

ordinal-notation

Ordinal notations in Lean

brainfuck-game

A fun little Discord game based on Brainfuck

cayley

Some experiments with the Cayley-Dickson construction

xmath

In very early development.

polytope

Abstract polytopes, in Lean!

synthtest

nmath

Algebraic structures as Rust traits