#

itp

Here are 2 public repositories matching this topic...

Skribblify

SimonKoll / Skribblify

ITP/SEW-Projekt 2020

game draw itp scribbl

Updated Jan 6, 2022
HTML

Seagat2011 / Anthropic-Claude-Mathematical-Proof-Solver-

An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.

theorem-proving atp itp interactive-theorem-proving claude anthropic-claude

Updated Jul 12, 2025
HTML

Improve this page

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