-
-
2024_advent_of_code Public
Advent of Code in Lean
Lean BSD 3-Clause "New" or "Revised" License UpdatedJan 1, 2025 -
-
lean4repl Public
Forked from leanprover-community/replA simple REPL for Lean 4, returning information about errors and sorries.
Lean UpdatedNov 4, 2024 -
-
lean-sys Public
Forked from digama0/lean-sysRust bindings for the Lean 4 proof assistant
Rust Apache License 2.0 UpdatedJun 18, 2024 -
-
cedar-examples Public
Forked from cedar-policy/cedar-examplesSome examples of using the Cedar language to specify authorization
Rust Apache License 2.0 UpdatedJun 6, 2024 -
LeanCopilot Public
Forked from lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in Lean
C++ MIT License UpdatedApr 22, 2024 -
Adv360-Pro-ZMK Public
Forked from KinesisCorporation/Adv360-Pro-ZMKProduction repository for the all-new Advantage360 Professional using ZMK engine
Shell MIT License UpdatedApr 13, 2024 -
LeanDojo Public
Forked from lean-dojo/LeanDojoTool for data extraction and interacting with Lean programmatically.
Python MIT License UpdatedApr 4, 2024 -
-
prism-games Public
Forked from prismmodelchecker/prism-gamesThe main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
-
-
-
prism Public
Forked from prismmodelchecker/prismThe main development version of the PRISM model checker.
Java GNU General Public License v2.0 UpdatedOct 29, 2020 -
-
-
-
-
-
-
-
-
-
-
-
-
{{ message }}