louisswarren/automata louisswarren/automata

  • Stars
    star
    1
  • Language Agda
  • License
    GNU General Publi...
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
louisswarren/automata
github

louisswarren

Reviews

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

Repository Details

Automata 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

ensemble-old

Finite sets in Agda
Agda
1
star
5

ni

Python
1
star
6

mandlebrot

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