|
new
0.3.0
|
May 12, 2025
|
|---|
|
0.2.0
|
Jan 31, 2025
|
|---|
|
0.1.1
|
Dec 4, 2024
|
|---|
|
0.1.0
|
Dec 4, 2024
|
|---|
#1059 in Database interfaces
2,052 downloads per month
Used in 2 crates
ISC AND (Apache-2.0 OR ISC)
385KB
9K
SLoC
This is the runtime support library for Rust code generated from Dafny.