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

New posts in coq

Unicode glyphs for keywords and operators in Coq/Proof General under Emacs

emacs unicode elisp coq proof-general

Rewrite tactic fails to find term occurrence within pattern matching

coq

can I force Coq to print parentheses?

coq coqide

What can Coq do while Agda/Idris can't do?

coq agda idris

What is a constructor in Coq?

constructor coq

Equal indexed inductive types implies equal indices

coq

Coqide Error: Compiled library Basics.vo makes inconsistent assumptions over library

coq

Fail to use let-destruct for tuple in Coq

coq

Coq: typeclasses vs dependent records

typeclass coq

Coq execution difference between semicolon ";" and period "."

coq coq-tactic

Interactive math proof system

math coq theorem-proving isabelle proof-system

Nested recursion and `Program Fixpoint` or `Function`

recursion coq isabelle termination

Consistent formulations of sets in Coq?

set subset coq

Building a class hierarchy in Coq?

functional-programming scope typeclass coq

existential instantiation and generalization in coq

coq

Finite map example

dictionary coq

Coq can't find subterm when using rewrite tactic

coq theorem-proving

How to install SSReflect and MathComp in Linux?

linux coq ssreflect

What is the difference between "Qed" and "Defined"?

scope coq

Unable to find an instance for the variable

coq
« Newer Entries Older Entries »