Arend-lib Alternatives

Similar projects and alternatives to arend-lib

lean

4 1,915 0.0 C++ arend-lib VS lean

Discontinued Lean Theorem Prover (by leanprover)
OEISbot

1 3 0.0 Python arend-lib VS OEISbot

Automatically posts links to OEIS sequences on Reddit
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better arend-lib alternative or higher similarity.

Suggest an alternative to arend-lib

arend-lib reviews and mentions

Posts with mentions or reviews of arend-lib. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-03-26.

How do I get back into math?
3 projects | /r/math | 26 Mar 2021

Formal proofs are fine, only tactics proofs are awkward. For example, with tactics https://wwwf.imperial.ac.uk/%7Ebuzzard/xena/natural_number_game/?world=9&level=4 is a challenge that requires a logical trick. But as a functional programming style proof it's completely straightforward: https://github.com/JetBrains/arend-lib/blob/master/src/Arith/Nat.ard#L126