Tags

Social Bookmarks zu Prover

10. May 07

Isabelle

http://www.cl.cam.ac.uk/research/hvg/Isabelle/inde...

Einmal gespeichert
von Ganjabi

MetaPRL tutorial1.pdf

http://files.metaprl.org/papers/tutorial1.pdf

Einmal gespeichert
von Ganjabi

Synthetic Abstractions: A case for proof assistant...

http://syntheticabstractions.blogspot.com/2007/04/...

Einmal gespeichert
von Ganjabi

The ZETA System

http://uebb.cs.tu-berlin.de/zeta/

Einmal gespeichert
von Ganjabi

Interactive Computer Theorem Proving

http://www.cs.berkeley.edu/~adamc/itp/

Einmal gespeichert
von Ganjabi

Sequent Calculus Prover (seqprover)

http://bach.istc.kobe-u.ac.jp/seqprover/

Einmal gespeichert
von Ganjabi

A Linear Logic Prover (llprover)

http://bach.istc.kobe-u.ac.jp/llprover/

Top-Bookmarker für Prover

Linkblog-Verzeichnis

  • Zeige die Mitglieder, die den Tag prover nutzen

Suchmaschine

Anzeigen