Skip to content

Repositories Activity API

spboucher.ai

spb/wp28_uqo

Public

20commits
1branches
0releases
272.5 MBon disk
maindefault branch
6 days agolast push

TeX 61.1% Python 37.9% Shell 0.9%

Code Commits20 Branches1 Releases0 Insights

Branch or tag

wp28_uqo
theory
lean
wp28proofs
lean-toolchain

25 B · 2 lines

Raw Blame History

1leanprover/lean4:v4.35.02

Files · 8a1481974c47032baad5f1c3dd6c432cb30b89bb

SPB Git

The personal software forge of Simon-Pierre Boucher. Every repository is public and clonable — one origin, no middlemen.

$git clone https://git.spboucher.ai/<repo>.git

Explore

Repositories Activity Search Commit calendar

Machine

JSON API Atom feed Sitemap Health

Owner

spboucher.ai contact@spboucher.ai

© Simon-Pierre Boucher · Powered by SPB Git v2.0.0 self-hosted · MacLustr

Menu

Home Repositories Activity Commit calendar Search JSON API Atom feed spboucher.ai contact@spboucher.ai

Theme

↑↓ navigate ↵ open esc close / or ⌘K anywhere