Skip to main content
Proof Assistants Beta

Benefactor

 Benefactor
First bounty you manually award on your own question.
Awarded 5 times.
A program which could derive theorems given formation rules in any modal logic?
Awarded Mar 1 at 23:34
Dependent replacement in Lean
Awarded Aug 16, 2023 at 23:35
Using proof assistants to analyze probabilistic models (identifiability in particular)
Awarded Jul 7, 2023 at 15:50
Has anyone ever accidentally "proven" a false theorem with type-in-type?
Awarded Apr 8, 2022 at 20:08
Why does apply_instance fail to generate decidable_pred here?
Awarded Feb 16, 2022 at 13:56