Follow

RT @xuanruirqi@twitter.com

Everyone: Jacques' certified (subset of) OCaml interpreter, now pulled out of the drawer and building under Coq 8.10! github.com/garrigue/certint

🐦🔗: twitter.com/xuanruirqi/status/

Sign in to participate in the conversation
Lesbiab Space

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