Sort by
Refine Your Search
-
properties are proved, refuted by counterexample, or reported as an explainable gap. All of it is written in a domain-specific language whose syntax trees and graphs we keep in a projectional editor (JetBrains
Searches related to graph
Enter an email to receive alerts for graph positions