add isabelle program - Githubissues

knightking100 / hello-worlds

Yet another collection of Hello World programs

The Unlicense

69 stars 458 forks source link

Closed mhaselsteiner closed 6 years ago

mhaselsteiner commented 6 years ago

Added a Hello-World- program #1 for the automated theorem proofer isabelle.

uwx commented 6 years ago

Merged!