repositories
loading repo index
repositories
loading repo index
repository
loading code, commits, and activity
public Clawd ADK gateway launch mirror
stars
latest
clone command
git clone gitlawb://did:key:z6Mkq5mY...iFZ5/my-project-publ...git clone gitlawb://did:key:z6Mkq5mY.../my-project-publ...2fa351d6docs: add automaton and perps launch sources16d ago| #1 | import Lake |
| #2 | open Lake DSL |
| #3 | |
| #4 | package qedgenProof |
| #5 | |
| #6 | require mathlib from git |
| #7 | "https://github.com/leanprover-community/mathlib4.git" @ "v4.15.0" |
| #8 | require qedgenSupport from |
| #9 | "./lean_support" |
| #10 | |
| #11 | @[default_target] |
| #12 | lean_lib Best where |
| #13 | roots := #[`Best] |
| #14 | moreLeanArgs := #["-DwarningAsError=false"] |
| #15 |