#polymorphiccalculus β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #polymorphiccalculus, aggregated by home.social.
-
π Behold the renaming of #Coq to #Rocq, as if the world needed another rocq-solid theorem prover to prove how uselessly rocq-hard #math can be. π€ But wait, there's more! Now with extra Polymorphic, Cumulative Calculus of Inductive Constructions, because everyone clearly needs that in their morning coffee. βπ
https://rocq-prover.org/about #TheoremProver #Humor #PolymorphicCalculus #HackerNews #ngated