49 citations · 191 across the 12 of their papers we have counts for
1 paper · 1 filter
Russell O'Connor
Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively b…