17 citations · 20 across the 5 of their papers we have counts for
1 paper · 2 filters
Matthieu Sozeau
Proof assistants are getting more widespread use in research and industry to provide certified and independently checkable guarantees about theories, designs, systems and implement…