louisswarren/tome louisswarren/tome

  • Stars
    star
    7
  • Rank 2,286,851 (Top 46 %)
  • Language Agda
  • License
    GNU General Publi...
  • Created almost 7 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
louisswarren/tome
github

louisswarren

Reviews

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

Repository Details

Natural deduction in Agda

More Repositories

1

hieretikz

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

reals

Real numbers in agda
Agda
1
star
3

ensemble-old

Finite sets 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