3 ms·So Litex is not based on Type Theory I gather. How are proofs represented and checked?by kuruczgy 1y agoSo Litex is not based on Type Theory I gather. How are proofs represented and checked?