José A. Alonso on Nostr: Teaching "Foundations of mathematics" with the LEAN theorem prover. ~ Mattia Luciano ...
Teaching "Foundations of mathematics" with the LEAN theorem prover. ~ Mattia Luciano Bottoni, Alberto S. Cattaneo, Elif Sacikara.
https://arxiv.org/abs/2501.03352 #ITP #LeanProver #Math
Published at
2025-01-09 13:08:39Event JSON
{
"id": "0ab7ff9499185da5dc402686f3e908cfb76627a30260c94f154a5995f4843d27",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736428119,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113798553250792259",
"activitypub"
]
],
"content": "Teaching \"Foundations of mathematics\" with the LEAN theorem prover. ~ Mattia Luciano Bottoni, Alberto S. Cattaneo, Elif Sacikara. https://arxiv.org/abs/2501.03352 #ITP #LeanProver #Math",
"sig": "7873fcabb9f80d5584f6caf05b8b02e0faf6c5dda2ca20c37defef772edea0841a1f05f75a0103ef412fe2356aa973b6f7607d324f393eec4851301f4fe90a56"
}
