José A. Alonso on Nostr: First steps towards computational polynomials in Lean. ~ James Harold Davenport. #ITP ...
Published at
2024-08-09 17:20:23Event JSON
{
"id": "dd7f95f6cd458e5c5d2a097bab5b02a06114a629ff3674a6f91194e515878c6b",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723224023,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112933209574224834",
"activitypub"
]
],
"content": "First steps towards computational polynomials in Lean. ~ James Harold Davenport. https://arxiv.org/abs/2408.04564 #ITP #LeanProver #Math",
"sig": "0b4d5a055b4c305d5f9fb7d250aa3c3f85818b01d899f12eff4fc6533ca45aa197c92e6091a40f11cd9941308657f97b90c27570ba4c51b6831391912f6209da"
}
