3 ms·
Indeed, I would kill for a proof assistant that integrates with C
by PhilipRoman 3y ago
Indeed, I would kill for a proof assistant that integrates with C
- namibj 3y agoCheck out the tooling from the seL4 project. I'm aware they used intermediate levels between raw C and the proof assistant, but I don't see why that should be prohibitive.