Skip to content

Actions: BasisResearch/lean.py

Actions

Deploy documentation to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
16 workflow runs
16 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix/datatype uninterpreted sort (#12) Deploy documentation to Pages #16: Commit a626fcb pushed by kiranandcode
34s main
main
34s
Fix RealVal() fraction string parsing and stage prior uncommitted wor… Deploy documentation to Pages #15: Commit b575f53 pushed by kiranandcode
29s main
main
29s
Fix Z3.lean build: List.get! → List.getD (removed in Lean 4.29.1) Deploy documentation to Pages #14: Commit ab8f529 pushed by kiranandcode
27s main
main
27s
Fix typo in z3py-guide.md title Deploy documentation to Pages #13: Commit 17d19ae pushed by kiranandcode
33s main
main
33s
Update title of z3py guide for clarity Deploy documentation to Pages #12: Commit 844e851 pushed by kiranandcode
28s main
main
28s
Reframe z3py guide intro around Lean as a symbolic reasoning engine (#7) Deploy documentation to Pages #11: Commit 2258810 pushed by kiranandcode
30s main
main
30s
Add z3py guide to Sphinx docs via myst-parser (#6) Deploy documentation to Pages #10: Commit b0dd846 pushed by kiranandcode
27s main
main
27s
Add Regex/Regex:static to managed project moreLinkObjs (#5) Deploy documentation to Pages #9: Commit 5b09227 pushed by kiranandcode
38s main
main
38s
Read commit hash from pip metadata instead of guessing version tag (#4) Deploy documentation to Pages #8: Commit 0294940 pushed by kiranandcode
33s main
main
33s
Fix pip install; ManagedProject falls back to git dep when not in a d… Deploy documentation to Pages #7: Commit 052377f pushed by kiranandcode
34s main
main
34s
z3py drop-in backed by Lean 4 kernel (#1) Deploy documentation to Pages #6: Commit aee2dd0 pushed by kiranandcode
28s main
main
28s
Effectful verifier example; fix smart ctor ownership; narrative docs Deploy documentation to Pages #5: Commit e96d168 pushed by kiranandcode
35s main
main
35s
Add pattern matching example to basic example docs Deploy documentation to Pages #4: Commit 96d5278 pushed by kiranandcode
29s main
main
29s
Pattern matching for Lean inductives; drop Frontend shims; update URLs Deploy documentation to Pages #3: Commit 7e548bf pushed by kiranandcode
31s main
main
31s
Rewrite example docs as narrative walkthroughs Deploy documentation to Pages #2: Commit e5cbd4e pushed by kiranandcode
32s main
main
32s
Add Sphinx documentation with GitHub Pages deployment Deploy documentation to Pages #1: Commit 26b920c pushed by kiranandcode
35s main
main
35s