Extended version of Agda in which we have added an ATP-pragma

Haskell -
Other -
Last pushed
- 0 stars
Agda formalisation of FOTC (First-Order Theory of Combinators).

Agda -
MIT -
Last pushed
- 2 stars
- 2 forks
Agda code for the course dependently typed functional languages - CB0683/2011-01

Verilog -
Last pushed
- 8 stars
- 2 forks
Name a PDF file using information from the `pdfinfo` command

Haskell -
MIT -
Last pushed
- 1 stars
Haskell program for proving first-order theorems written in Agda using automatic theorem provers ...

Haskell -
MIT -
Last pushed
- 0 stars
Agda is a dependently typed programming language / interactive theorem prover.

Haskell -
Other -
Last pushed
- 0 stars
- 24 forks
Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git

Haskell -
Other -
Updated
- 1 stars
Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can...

Haskell -
Other -
Updated
- 1 stars
darcs-bridge experiment with Agda repository

Haskell -
Other -
Last pushed
- 0 stars
The pdfname command-line program names a PDF file using the
author, year of creation and title in...

Latest release 0.3 -
Updated
- 1 stars
Python documentation generator

Latest release 2.1.0 -
Updated
- 2.61K stars
Read the Docs theme for Sphinx

Latest release 0.4.2 -
Updated
- 2.85K stars
Last synced: 2016-12-16 16:07:23 UTC

Login to resync this page