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

New posts in coq

Coq: how to apply one hypothesis to another

coq

Agda-like programming in Coq/Proof General?

coq agda dependent-type proof-general coqide

How to map Type to Value in Idris/Agda/Coq?

coq agda idris dependent-type

coq error when trying to use Case. Example from Software Foundations book

coq

How to call proof asistant Coq from external software

coq

How to disable my custom notation in Coq?

coq

How to do cases with an inductive type in Coq

logic coq

How is Coq's parser implemented?

parsing coq

Why are logical connectives and booleans separate in Coq?

boolean logic coq

Compute with a recursive function defined by well-defined induction

coq

Coq QArith division by zero is zero, why?

coq divide-by-zero rational-numbers

How do I provide implicit arguments explicitly in Coq?

coq

How to prove excluded middle is irrefutable in Coq?

logic coq coq-tactic

Proving that a reversible list is a palindrome in Coq

coq palindrome theorem-proving logical-foundations

Step by step simplification in coq?

coq

Can I tell Coq to do induction from n to n+2?

coq induction

Non-empty list append theorem in Coq

ocaml coq theorem-proving coq-tactic formal-verification

Coq: Prop versus Set in Type(n)

types functional-programming coq

Coq simpl for Program Fixpoint

coq theorem-proving totality

Impredicative polymorphism in F#

f# polymorphism ocaml coq impredicativetypes
« Newer Entries Older Entries »