JLimperg/elan-cleanup JLimperg/elan-cleanup

  • Stars
    star
    2
  • Language Lean
  • License
    Apache License 2.0
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JLimperg/elan-cleanup
github

JLimperg

Reviews

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

Repository Details

A tool for cleaning up unused Lean toolchains

More Repositories

1

cats

Category Theory in Agda. Learning exercise, not for public consumption.
Agda
22
star
2

well-founded-corecursion

An attempt to integrate well-founded recursion into corecursion
Agda
6
star
3

docker-agda-stdlib

Docker image with Agda and agda-stdlib
Dockerfile
5
star
4

msc-thesis-code

Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same
Agda
5
star
5

opdtab

Tabbing software for OPD debating tournaments
C#
4
star
6

msc-thesis

A Reflexive Graph Model of Sized Types (M.Sc. thesis)
TeX
1
star