41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a08c5a-c105-71a3-b577-86203d3f8347

Writing a Simple Proof Assistant

unnamed.website · published 11 May 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at unnamed.website Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 6
Words captured: 856

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/kiranandcode/LeanTeX/

github.com

https://github.com/leanprover/verso-slides/

github.com

"Bad Apple!!" But It's 3288 Lean Tactics Spamming VS Code Read at the source ↗

unnamed.website

https://aristotle.harmonic.fun/

aristotle.harmonic.fun

https://git.unnamed.website/6.5610-project/blob/main/Dependent.lean

git.unnamed.website

https://github.com/i-love-lean/6.5610-project/blob/main/Dependent.lean

github.com