Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with performance
Search options answers only
not deleted
user 32
For questions pertaining to the measurement or improvement of code and application efficiency.
10
votes
Are there any proof assistants which integrate JITs?
Apart from the well-known native_compute feature of Coq, I'd like to share two JITted dependently-typed programming languages which are used for theorem proving:
Lean 4: in this WITS talk, Seb said t …
- 6,532