asr Goto Github PK

afl

agda-kanso

Agda is a dependently typed programming language / interactive theorem prover.

agda-metis

Metis Prover Reasoning for Propositional Logic in Agda

agda-prop

A Library for Classical Propositional Logic in Agda

agda-ptrlib

agda2atp

The agda2atp program was renamed Apia.

alga

apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic

athena

Athena tool for Reconstructing Propositional Proofs in Agda

automata

beamer

A LaTeX class for producing presentations and slides

cabal-issue-223

coco

This is the CoCo Virtual Machine Source Code.

cook

The λ-calculus in Haskell in four different ways

dtfl

Agda code for the course 'Dependently Tped Functional Languages - 2011-1'

eagda

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

edison

Edison: A Library of Efficient Data Structures

equinox

fluffy-chainsaw

Simple website for automated grading of CM0081 - Programming lab 1

fotc

Agda formalisation of FOTC (First-Order Theory of Combinators).

gnome-session-xmonad

Ubuntu package for Gnome + XMonad session files

gnome-terminal-colors

Gnome terminal colors

gpif

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

hip

Haskell Inductive Prover - uses automated theorem provers to automatically verify equational properties of Haskell programs

lambda-shell

A REPL for working with terms of the pure, untyped lambda calculus

language-dot

A library for the analysis and creation of Graphviz DOT files

latexeafit

lennart-lambda

Lennart Augustsson's lambda calculus cooked four ways

logic-cm0845