2.3k citations · 2.5k across the 16 of their papers we have counts for
1 paper · 1 filter
Sol Swords, Jared Davis
Interactive theorem proving requires a lot of human guidance. Proving a property involves (1) figuring out why it holds, then (2) coaxing the theorem prover into believing it. Both…