We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Axiom profiler bitbucket -> github
Added a paragraph on handling timeouts
Better link to FAQ
Added FAQ, made AxiomProfiler paper more prominent
Created wiki page on AxiomProfiler use with Dafny