3 ms·
https://ammkrn.github.io/type_checking_in_lean4/trust/trust.html https://ammkrn.github.io/type_checking_in_lean4/trust/trust....
by Jblx2 25d ago
https://ammkrn.github.io/type_checking_in_lean4/trust/trust.html https://ammkrn.github.io/type_checking_in_lean4/trust/trust....