Content-Length: 202259 | pFad | http://github.com/topics/isabelle-language

B3 isabelle-language · GitHub Topics · GitHub
Skip to content
#

isabelle-language

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Isabelle 1 R 1
AI2001_Category-Source_Code-SC-Isabelle

seanpm2001 / AI2001_Category-Source_Code-SC-Isabelle

Star 2

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001, containing Isabelle programming language datasets

ai gplv3 artificial-intelligence dataset r-language isabelle md txt gpl3 rmarkdown-language isabelle-language ai2001 ai-2001 ai2001-dataset ai-2001-dataset ai2001-development ai-2001-development source-code-dataset isabelle-lang isabelle-sc-dataset
  • Updated Sep 22, 2023
  • R

Improve this page

Add a description, image, and links to the 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 isabelle-language topic, visit your repo's landing page and select "manage topics."

Learn more









ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: http://github.com/topics/isabelle-language

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy