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

New posts in coqide

How to step through semicolons separated tactics sequence in coqide?

coq coqide

How do you look up where identifiers are defined in Coq efficiently?

emacs coq coqide proof-general

The reference "X" was not found in the current environment

coq coqide

CoqIDE loadpath error for ssreflect

coq coqide

can I force Coq to print parentheses?

coq coqide

Agda-like programming in Coq/Proof General?

coq agda dependent-type proof-general coqide