Pinned Repositories
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
apia
Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
dtfl
Agda code for the course 'Dependently Tped Functional Languages - 2011-1'
fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).
pdfname
Name a PDF file using information from the `pdfinfo` command
st0244-pl
tm-coinduction
asr's Repositories
asr/tm-coinduction
asr/AFL
asr/agda-kanso
Agda is a dependently typed programming language / interactive theorem prover.
asr/agda-metis
Metis Prover Reasoning for Propositional Logic in Agda
asr/agda-prop
A Library for Classical Propositional Logic in Agda
asr/agda-ptrlib
asr/agda2atp
The agda2atp program was renamed Apia.
asr/athena
Athena tool for Reconstructing Propositional Proofs in Agda
asr/Automata
asr/cabal-issue-223
asr/equinox
asr/fluffy-chainsaw
Simple website for automated grading of CM0081 - Programming lab 1
asr/gnome-session-xmonad
Ubuntu package for Gnome + XMonad session files
asr/gnome-terminal-colors
Gnome terminal colors
asr/gpif
asr/hip
Haskell Inductive Prover - uses automated theorem provers to automatically verify equational properties of Haskell programs
asr/ltc-plpv-2009
This repository is obsolete. See the fotc repository instead.
asr/martin-lof
papers of Per Martin Löf
asr/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
asr/pdfinfo
Simple pdfinfo wrapper
asr/pract-inv
asr/pygments-custom-agda
This is a plugin for the Agda Lexer of Pygments
asr/qio-agda
The Quantum IO Monad, implemented in Agda
asr/qio-haskell
The Quantum IO Monad, implemented in Haskell
asr/real-numbers-formalisation
asr/s-email
asr/setform
Set Theory Formalization in Agda
asr/Smtlib
Parser for smt-lib Command responses
asr/streams
Haskell 2010 stream comonads
asr/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.