issues
search
FStarLang
/
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Apache License 2.0
394
stars
58
forks
source link
Improve visibility of generated Rust definitions; carry top-level comments
#452
Closed
msprotz
closed
1 month ago
msprotz
commented
1 month ago
As described in the title
As described in the title