The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Logical_verification_2020 Alternatives
Similar projects and alternatives to logical_verification_2020
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
WorkOS
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.
logical_verification_2020 reviews and mentions
-
The Hitchhiker’s Guide to Logical Verification [pdf]
heh, I like their syllabus format (linked from the first page of the PDF): https://lean-forward.github.io/logical-verification/2020/
also, to save one the trouble of url surgery here is the actual GH repo which contains what is labeled a "tablet" version of the PDF along with solutions exercises: https://github.com/blanchette/logical_verification_2020 (unlicensed)
-
Show HN: Luna is a Clojure Domain specific language that translates to regex
https://github.com/blanchette/logical_verification_2020/raw/...
Benjamin Pierce: Backtracking Generators for Random Testing
-
Types and Programming Languages (2002)
A recent book in the same vein: The Hitchhiker's Guide to Logical Verification
https://github.com/blanchette/logical_verification_2020
This is a tipping point work making the case that type theory is like a musician reading sheet music. Sure, the Beatles couldn't, but... Anyone developing a new programming language should understand languages at the level of Lean, even if the common uses of their constructs aren't theorem proving. The analogies are mind-blowing. Monadic parsing is the same thing as meta-programming tactics? I'm still wrapping my head arond that one.
-
A note from our sponsor - WorkOS
workos.com | 26 Apr 2024
Stats
The primary programming language of logical_verification_2020 is Lean.
Sponsored