diekmann 5059fe90b0 Added language Isabelle ...

Isabelle is a generic proof assistant. It is comparables (to some degree) to Coq.

Used in
* diekmann/topoS
* 3of8/sturm
* formare/auctions
* larsrh/hol-falso
* dpthayer/MetaProof

Hello Wolrd example (file must be named HelloWorld.thy):
  theory HelloWorld
  imports Main
  begin
  (*put content here*)
  end

2014-06-17 21:27:03 +02:00

..

linguist

Added language Isabelle

2014-06-17 21:27:03 +02:00

linguist.rb

Adding Linguist::VERSION

2014-04-24 13:53:37 -05:00