mirek

Ordinaly

JavaScript 0 0

(countable) Ordinaly game / browser in JS

Updated 2026-06-07 16:12:28 +02:00

cookie-clicker

JavaScript 0 0

Cookie clicker with fast-growing hierarchy for ordinals below epsilon0.

Updated 2026-06-05 12:35:17 +02:00

Vibe-ITP

C++ 0 0

Interactive theorem prover. Human-written kernel & axioms, AI-written proof language & proofs (with some human help). Based on 2nd-order logic & set-theory.

Updated 2026-06-04 23:04:23 +02:00

lean-teaching

Lean 1 0

Files for teaching Lean on Charles University

Updated 2026-05-20 00:15:56 +02:00

PuzzleLean

Lean 0 0

PuzzleScript reimplementation in Lean, heavily vibe-coded (except Engine and its dependencies, State on JS side, showcase files)

Updated 2026-05-04 09:08:22 +02:00

dqrat-lean-checker

Lean 0 0

AI-coded (Claude) Lean reimplementation of the dqrat-checker: https://github.com/peitl/dqrat-check/

Updated 2026-03-30 22:46:35 +02:00

tabs-editor

Python 0 0

Tabs editor written by Claude

Updated 2026-03-19 14:53:42 +01:00

lrat-to-lean

Lean 0 0

A translation from a LRAT proof into a Lean proof

Updated 2026-03-02 10:56:48 +01:00