Quick example of using prooftree with Proof General

  Рет қаралды 946

John Wiegley

John Wiegley

Күн бұрын

This is a quick demo of using prooftree with Proof General in Emacs.

Пікірлер
How to use Coq with Proof General
6:44
How to use Coq with Proof General
Andrej Bauer
Рет қаралды 20 М.
How I use nix for Haskell development
1:06:23
How I use nix for Haskell development
John Wiegley
Рет қаралды 9 М.
Fortunately, Tang Wutong and her sister were smart and rescued the baby!#斗罗大陆#唐舞桐#唐老六#斗罗大陆
00:32
Fortunately, Tang Wutong and her sister were smart and rescued the baby!#斗罗大陆#唐舞桐#唐老六#斗罗大陆
Real Douluo Short Video
Рет қаралды 16 МЛН
An Unknown Ending💪
00:49
An Unknown Ending💪
ISSEI / いっせい
Рет қаралды 37 МЛН
Minecraft Creeper Family is back! #minecraft #funny #memes
00:26
Minecraft Creeper Family is back! #minecraft #funny #memes
SNAK
Рет қаралды 3,2 МЛН
СИНИЙ ИЛИ ЗЕЛЕНЫЙ, КТО ПОБЕДИТ?! #Shorts #Глент
01:00
СИНИЙ ИЛИ ЗЕЛЕНЫЙ, КТО ПОБЕДИТ?! #Shorts #Глент
ГЛЕНТ
Рет қаралды 6 МЛН
If __name__ == "__main__" for Python Developers
8:47
If __name__ == "__main__" for Python Developers
Python Simplified
Рет қаралды 402 М.
Why Agent Frameworks Will Fail (and what to use instead)
19:21
Why Agent Frameworks Will Fail (and what to use instead)
Dave Ebbelaar
Рет қаралды 59 М.
The Bahá’í mystical path as a journey of recognition
1:41:25
The Bahá’í mystical path as a journey of recognition
John Wiegley
Рет қаралды 785
How I'd Learn Data Analytics in 2024 (If I Had to Start Over)
14:08
How I'd Learn Data Analytics in 2024 (If I Had to Start Over)
CareerFoundry
Рет қаралды 802 М.
The Seven Valleys
1:12:44
The Seven Valleys
John Wiegley
Рет қаралды 4,3 М.
multiple cursors example
2:54
multiple cursors example
John Wiegley
Рет қаралды 5 М.
How to organize your notes in Obsidian // The LATCH method
15:55
How to organize your notes in Obsidian // The LATCH method
Nicole van der Hoeven
Рет қаралды 194 М.
Easy SLAM with ROS using slam_toolbox
25:47
Easy SLAM with ROS using slam_toolbox
Articulated Robotics
Рет қаралды 130 М.
LangGraph Crash Course with code examples
39:01
LangGraph Crash Course with code examples
Sam Witteveen
Рет қаралды 78 М.
Fortunately, Tang Wutong and her sister were smart and rescued the baby!#斗罗大陆#唐舞桐#唐老六#斗罗大陆
00:32
Fortunately, Tang Wutong and her sister were smart and rescued the baby!#斗罗大陆#唐舞桐#唐老六#斗罗大陆
Real Douluo Short Video
Рет қаралды 16 МЛН