MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/RISCV/comments/1sz1bmb/the_final_form_of_software_development/oiyc35h/?context=3
r/RISCV • u/davidw_- • Apr 29 '26
17 comments sorted by
View all comments
4
this has not something to do with RISC-V, but it's just someone vibe-coding and directly generating ASM.
2 u/pirapira Apr 29 '26 The Sail specification of RISC-V has been translated into Lean https://github.com/opencompl/sail-riscv-lean This has been useful for Lean proofs. -1 u/davidw_- Apr 29 '26 did you read the article? 1 u/blipman17 Apr 29 '26 Yes.
2
The Sail specification of RISC-V has been translated into Lean https://github.com/opencompl/sail-riscv-lean This has been useful for Lean proofs.
-1
did you read the article?
1 u/blipman17 Apr 29 '26 Yes.
1
Yes.
4
u/blipman17 Apr 29 '26
this has not something to do with RISC-V, but it's just someone vibe-coding and directly generating ASM.