This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
PubChat
pubchat.org
did:plc:keidev57bzqqh5rjkxam3sci
“A Rocq Formalization of Simplicial Lagrange Finite Elements”
by Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
CC: PubChat
https://pubchat.org/chat/arxiv/2604.20345
2026-05-06T16:42:53.672Z