Giters
paulch42

paulch42

Geek Repo

0

followers

0

following

3

stars

Github PK Tool:Github PK Tool

paulch42's repositories

lean-spec

Program Specification in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:12Issues:1Issues:2

IWXXM

ICAO Meteorological Information Exchange Model

License:Apache-2.0Stargazers:0Issues:1Issues:0

NNG4

Natural Number Game

Language:LeanStargazers:0Issues:0Issues:0

theorem_proving_in_lean4

Theorem Proving in Lean 4

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0