「PeanoScript: TypeScript but it's a theorem prover」

A proof assistant for Peano Arithmetic with TypeScript-inspired syntax

peanoscript.mjgrzymek.com

Webページ

コンテンツ文字数：0 文字

見出し数（H2/H3タグ）：0 個

閲覧数：1 件

2025-03-23 08:08:06

オリジナルページを開く

B!