Questions Linux Laravel Mysql Ubuntu Git Menu

HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin

New posts in proof-general

How do I display brackets around assumptions in Isabelle/jEdit?

Jan 26, 2021

jedit isabelle proof-general

How to disable Verilog mode in emacs?

Jan 31, 2022

emacs proof-general

Isabelle2016 and Proof General

Mar 26, 2022

isabelle theorem-proving proof-general

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

Apr 16, 2022

emacs coq coqide proof-general

With Coq Proof General, Emacs executes on every period. How do I stop it?

Aug 26, 2021

emacs coq proof-general

Unable to provide long (1024+ character) inputs to the OCaml toplevel and coqtop (and Proof General)

Apr 30, 2022

emacs ocaml tty coq proof-general

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

Aug 09, 2021

emacs unicode elisp coq proof-general

Agda-like programming in Coq/Proof General?

Aug 31, 2022

coq agda dependent-type proof-general coqide