Similar projects and alternatives to arend-lib
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
arend-lib reviews and mentions
How do I get back into math?
3 projects | reddit.com/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
Are you hiring? Post a new remote job listing for free.