JavaProspect: JetBrains releases first version of the language for its Arend theorem prover. "Arend is based on a version of homotopy type theory that includes some of the cubical features."

Tuesday, August 6, 2019

JetBrains releases first version of the language for its Arend theorem prover. "Arend is based on a version of homotopy type theory that includes some of the cubical features."

submitted by /u/TypesLogicsCats
[link] [comments]

from programming https://ift.tt/2YOBdBe

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)