Hacker News new | ask | show | jobs
by kuruczgy 260 days ago
So Litex is not based on Type Theory I gather. How are proofs represented and checked?