input-output-hk / input-output-hk/Lean-blaster

Modernize the tool chain

Open
#144 0 comments 0 reactions 3 assignees Claimed by @RSoulatIOHK View on GitHub
area: optimizer area: smt
Dominant language
Lean
Stars
57
Forks
11
Avg merge
1d 5h
Merged PRs (30d)
10

Description

Lean 4.31/4.32
Opacify BitVector, Byte array, String
Z3 4.16

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.