Follow

sympa.inria.fr/sympa/arc/coq-c
Coqでunsafe Rustを検証するRustBeltと、RustBeltでも使われている高階分離論理のフレームワークであるIrisの研究プロジェクトが、複数のポジション(博士課程・ポスドク・インターン)で募集をかけてる。

Sign in to participate in the conversation
qnmd.info

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!