wjzz/Agda-theorem-library wjzz/Agda-theorem-library

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
  • Created over 13 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wjzz/Agda-theorem-library
github

wjzz

Reviews

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

Repository Details

My collection of rather simple, but useful theorems about basic Agda data types

More Repositories

1

Agda-reflection-for-semiring-solver

A simple demonstration of the Agda Reflection API
11
star
2

Agda-Representing-Monads

A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski
8
star
3

Agda-small-developments-and-examples

A collection of mostly unrelated Agda programs which I found interesting in some way.
Coq
7
star
4

agda-DTP-examples

Haskell
7
star
5

Agda-mode-improvements

Some simple tools for agda-mode to make programming in Agda even more enjoyable.
Emacs Lisp
5
star
6

Combinatory-logic

A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.
Common Lisp
4
star
7

PumpingLemma

A formalization of the pumping lemma for regular languages in Coq
Verilog
2
star