Skip to content

Initialize proof_search_res attribute in ProofEnv class to avoid attr…

aab3ba1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Major release with final round of fixes. #66

Initialize proof_search_res attribute in ProofEnv class to avoid attr…
aab3ba1
Select commit
Loading
Failed to load commit list.