ToposInstitute/lean-poly ToposInstitute/lean-poly

  • Stars
    star
    3
  • Rank 3,941,162 (Top 79 %)
  • Language Lean
  • Created about 1 year ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ToposInstitute/lean-poly
github

ToposInstitute

Reviews

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

Repository Details

More Repositories

1

poly

TeX
103
star
2

polytt

A type theory with native support for Polynomial Functors.
OCaml
37
star
3

CatColab

A collaborative environment for formal, interoperable, conceptual modeling
Rust
11
star
4

RelationalThinking-Book

TeX
6
star
5

nlab-corpus

5
star
6

tac-corpus

HTML
5
star
7

p-func-workshop

HTML
3
star
8

CT-corpus

A directory to keep corpora in Category Theory, initially Leinster's book "Basic Category Theory"
TeX
2
star
9

RelationalThinking-code

This repository contains all the code presented in the online book "Relational Thinking - from Abstractions to Applications".
Julia
2
star
10

parmesan

Python
2
star
11

parmesan_benchmarks

Python
1
star