#

learn-isabelle-language

Here is 1 public repository matching this topic...

Learn-Isabelle

seanpm2001 / Learn-Isabelle

A repository for showcasing my knowledge of the Isabelle Mathematical Proofing Programming language, and continuing to learn the language.

gplv3 isabelle gpl3 isabelle-language isabelle-lang learn-isabelle learn-isabelle-lang learn-isabelle-language

Updated Apr 23, 2022
Isabelle

Improve this page

Add a description, image, and links to the learn-isabelle-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the learn-isabelle-language topic, visit your repo's landing page and select "manage topics."