Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in agda

Termination checker fails after abstracting the call site

agda coinduction

A theorem prover / proof assistant supporting (multiple) subtyping / subclassing [closed]

haskell coq isabelle agda theorem-proving

Using the value of a computed function for a proof in agda

tic-tac-toe proof agda

Formalising regular expressions with a complement operation

regex coq agda idris

how to interpret REL in agda

agda dependent-type

Do agda programs necessarily terminate?

emacs agda halting-problem

Function definition by induction principles in Agda

agda type-theory

Lexicographic ordering of pairs/lists in Agda using the standard library

standard-library agda

Categories library for Agda?

standard-library agda category-theory

CoNat : proving that 0 is neutral to the left

proof agda curry-howard coinduction codata

Proofs involving decidable equality

agda

Generic programming via effects

haskell generic-programming agda dependent-type idris

Finding out which metas are unsolved in an Agda program

type-inference agda elaboration

Why can't (Set -> Set) have type Set?

types lambda-calculus agda
« Newer Entries Older Entries »