Logical_verification_2023 Alternatives

Similar projects and alternatives to logical_verification_2023

learnxinyminutes-docs

226 11,153 9.1 JavaScript logical_verification_2023 VS learnxinyminutes-docs

Code documentation written as code! How novel and totally my idea!
lean4

53 3,739 9.9 Lean logical_verification_2023 VS lean4

Lean 4 programming language and theorem prover
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.
mathlib

36 1,625 8.8 Lean logical_verification_2023 VS mathlib

Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4

10 791 10.0 Lean logical_verification_2023 VS mathlib4

The math library of Lean 4
lean4-mode

2 54 5.8 Emacs Lisp logical_verification_2023 VS lean4-mode

Emacs major mode for Lean 4
topos

1 46 10.0 Lean logical_verification_2023 VS topos

Topos theory in lean (by b-mehta)

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

Suggest an alternative to logical_verification_2023

logical_verification_2023 reviews and mentions

Posts with mentions or reviews of logical_verification_2023. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-09-07.

Lean 4.0.0, first official lean4 release
10 projects | news.ycombinator.com | 7 Sep 2023

Me too, I want to follow
https://github.com/blanchette/logical_verification_2023
The hitchhiker's guide

Stats

Basic logical_verification_2023 repo stats

Mentions

Stars

Activity

6.4

Last Commit

5 months ago

The primary programming language of logical_verification_2023 is Lean.

Popular Comparisons