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
-
© 2026, Max-Planck-Gesellschaft © 2003-2026, Max-Planck-Gesellschaft Web-View Print Page Open in new window Estimated DIN-A4 page-width Go to Editor View Esc
Searches related to editor
Enter an email to receive alerts for editor positions