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

New posts in agda

Merge sort in agda

agda

Stuck on proof with heterogeneous equality

agda

In Agda is it possible to define a datatype that has equations?

agda algebraic-data-types

How to define abstract types in agda

isabelle agda

How to pattern match multiple values in Idris/Agda/Coq?

coq agda dependent-type idris

Statically balanced trees in Agda

tree agda dependent-type

Proof that (prev n) <= m starting from n <= m

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

Showing (head . init ) = head in Agda

theorem-proving agda
Older Entries »