サクサク読めて、アプリ限定の機能も多数!
atsushifx のブックマーク 2023/03/04 00:17
GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.[programming Language]2023/03/04 00:17
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/magmide2021/11/28
This repo is still very early and rough, it's mostly just notes, speculative writing, and exploratory theorem proving. Most of the files in this repo are just "mad scribblings" that I haven't refin...
9 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
atsushifx のブックマーク 2023/03/04 00:17
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
github.com/magmide2021/11/28
This repo is still very early and rough, it's mostly just notes, speculative writing, and exploratory theorem proving. Most of the files in this repo are just "mad scribblings" that I haven't refin...
9 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /