louisswarren/ensemble-old louisswarren/ensemble-old

  • This repository has been archived on 12/Jul/2019
  • Stars
    star
    1
  • Language Agda
  • License
    GNU General Publi...
  • Created over 6 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
louisswarren/ensemble-old
github

louisswarren

Reviews

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

Repository Details

Finite sets in Agda

More Repositories

1

tome

Natural deduction in Agda
Agda
7
star
2

hieretikz

Generate a tikz diagram of a hierarchy, for use in reverse mathematics
Python
2
star
3

reals

Real numbers in agda
Agda
1
star
4

ni

Python
1
star
5

mandlebrot

Because every programmer is going to implement it at some point
C
1
star
6

automata

Automata in Agda
Agda
1
star