Theorem Prover Coq [DEMO]
Loading...
Loading...
12:29
A first proof with Coq (Frobenius rule)by bauerandrej1,056 views- 10:03
Unit Testing in OCaml with OUnitby k0rmadreem4,729 views
- 4:38
Exposing Fallacies with Automated Logical Proversby SuperFinGuy868 views
- 5:05
Artificial intelligence that makes YOU thinkby MartinMagnusson20,423 views
- 4:19
Rubik's cube solver built with Lego Mindstorm and programmed in Ocaml (2008)by mski862,533 views
- 6:44
How to use Coq with Proof Generalby bauerandrej971 views
- 8:33
The dual Frobenius rule, part 1by bauerandrej640 views
- 3:58
Ocaml - primitive typesby ShujiNarazaki2,258 views
- 6:28
How to use CoqIDEby bauerandrej1,128 views
- 7:16
Robot that exit of a labyrinth built with Lego Mindstorm and programmed in Ocaml (2008)by mski864,916 views
- 4:46
A Ocaml problem: making the divisors list(約数リストの生成）by ShujiNarazaki697 views
- 4:10
Intelligent and proactive game charactersby MartinMagnusson3,697 views
- 3:12
Obtaining and Instaling the Coq Proof Assistantby bauerandrej690 views
- 24:03
Deutsches OCaml-Tutorial 1by alf42red361 views
- 0:12
LLRingby ueblog1,452 views
- 2:28
Prover - Life - Swifturk Visionzby Swifturk14,172 views
- 2:18
Prover Ft. Young Killa - Made Niggars - Swifturk Visionzby Swifturk73,949 views
- 1:17
Analisis de un Lenguaje de ProgramaciOn - ML y su evoluciOn.by BruqueSoft1,029 views
- 1:40
Coyote catches Road Runnerby Rommelbacsi7,284,556 views
- 0:30
Test 3 Radiohead's HoC videoby philogb4,813 views
ありがとうございます。I don't even know 50% of those 漢字. xD
Also try: Mizar, Isabelle, HOL light, PVS.
The world is full of many beautiful theorem provers!
alf42red 4 months ago
thumbs down for doing it on a mac. retard
oringent 8 months ago