input-output-hk/Lean-blaster
View on GitHubSMT-based reasoning core for Lean4
- Stars
- 57
- Forks
- 11
- Open beginner issues
- 0
- Indexed issues
- 128
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 10
- Dominant language
- Lean
- License
- Apache-2.0
- Last GitHub push
- Sep 4, 2026
- Latest indexed
- Sep 17, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
input-output-hk/Lean-blaster#12 · 0 comments · 0 reactions · 1 assignee ·
-
input-output-hk/Lean-blaster#13 · 0 comments · 0 reactions · 2 assignees ·
-
Maintenance nightly-build-failure
input-output-hk/Lean-blaster#21 · 3 comments · 0 reactions · 2 assignees ·
-
area: smt bug
input-output-hk/Lean-blaster#27 · 0 comments · 0 reactions · 2 assignees ·
-
area:tactic bug
input-output-hk/Lean-blaster#30 · 0 comments · 0 reactions · 1 assignee ·
-
[Bug]: Each different sort universe must be translated to a unique type universe at the smt level Openbug
input-output-hk/Lean-blaster#43 · 0 comments · 0 reactions · 1 assignee ·
-
area: optimizer
input-output-hk/Lean-blaster#50 · 1 comment · 0 reactions · 0 assignees ·
-
area: smt bug Waiting for user
input-output-hk/Lean-blaster#51 · 2 comments · 1 reaction · 0 assignees ·
-
input-output-hk/Lean-blaster#52 · 1 comment · 0 reactions · 0 assignees ·
-
Z3 Defunc Processes Open
input-output-hk/Lean-blaster#54 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/Lean-blaster#58 · 0 comments · 0 reactions · 1 assignee ·
-
area:tactic bug
input-output-hk/Lean-blaster#59 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area:tactic bug
input-output-hk/Lean-blaster#60 · 0 comments · 0 reactions · 0 assignees ·
-
area: smt enhancement
input-output-hk/Lean-blaster#61 · 0 comments · 0 reactions · 0 assignees ·
-
Z3 Lean4 updates Openarea: smt Maintenance
input-output-hk/Lean-blaster#62 · 0 comments · 0 reactions · 0 assignees ·
-
Optimization Openarea: optimizer enhancement
input-output-hk/Lean-blaster#63 · 0 comments · 0 reactions · 0 assignees ·
-
area: documentation area: smt documentation
input-output-hk/Lean-blaster#64 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: smt enhancement
input-output-hk/Lean-blaster#65 · 0 comments · 0 reactions · 1 assignee ·
-
area: optimizer area: smt enhancement
input-output-hk/Lean-blaster#66 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: smt enhancement
input-output-hk/Lean-blaster#67 · 0 comments · 0 reactions · 0 assignees ·
-
area: smt enhancement
input-output-hk/Lean-blaster#68 · 0 comments · 0 reactions · 0 assignees ·
-
area: smt enhancement
input-output-hk/Lean-blaster#69 · 0 comments · 0 reactions · 0 assignees ·
-
area: smt enhancement
input-output-hk/Lean-blaster#70 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer enhancement
input-output-hk/Lean-blaster#71 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer enhancement
input-output-hk/Lean-blaster#72 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer enhancement
input-output-hk/Lean-blaster#73 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer enhancement
input-output-hk/Lean-blaster#74 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer enhancement
input-output-hk/Lean-blaster#75 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer enhancement
input-output-hk/Lean-blaster#76 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#77 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#78 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#79 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#80 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#81 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#82 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#83 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#84 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#85 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#86 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#87 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#88 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#89 · 0 comments · 0 reactions · 0 assignees ·
-
area: optimizer area: tests
input-output-hk/Lean-blaster#90 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
input-output-hk/Lean-blaster#94 · 0 comments · 0 reactions · 3 assignees ·
-
input-output-hk/Lean-blaster#99 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/Lean-blaster#100 · 0 comments · 0 reactions · 0 assignees ·
-
task
input-output-hk/Lean-blaster#114 · 4 comments · 0 reactions · 2 assignees ·
-
task
input-output-hk/Lean-blaster#115 · 1 comment · 0 reactions · 1 assignee ·
-
input-output-hk/Lean-blaster#118 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/Lean-blaster#119 · 0 comments · 0 reactions · 1 assignee ·