11 ms·Indeed. Agda and Coq are excellent examples.by danghica 11y agoIndeed. Agda and Coq are excellent examples.