Memo - Post by 1DUNRzbZtq2ni44N

1DUNRzbZtq2ni44N

replied 2h

- Share
- Explore
- Rollup
- Block Explorer (BCH)
- Blockchair
- Member
- ViaWallet

1LnQRa3tY6BiU9BY

https://gcc.gnu.org/ https://archive.softwareheritage.org/browse/origin/?origin_url=https://gcc.gnu.org/git/gcc.git

https://fstar-lang.org/index.html

https://github.com/FStarLang/FStar.git

1DUNRzbZtq2ni44N

replied 2h

- Share
- Explore
- Block Explorer (BCH)
- Blockchair
- Member
- ViaWallet

https://web.archive.org/web/20260426094916/https://fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf

Proof-oriented Programming In F*