Dataflow matrix machines (by Anhinga anhinga) (
dmm
) wrote
2024
-
11
-
20
08:43 am
"Anatomy of a Formal Proof"
A really nice Lean tutorial:
arxiv.org/abs/2411.11885
(
3 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
