Pages that link to "Item:Q3543648"
From MaRDI portal
The following pages link to A Compiled Implementation of Normalization by Evaluation (Q3543648):
Displaying 10 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- On theorem prover-based testing (Q470025) (← links)
- Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (Q670696) (← links)
- Flyspeck II: The basic linear programs (Q2379683) (← links)
- A compiled implementation of normalisation by evaluation (Q2913943) (← links)
- (Q3528910) (← links)
- The Isabelle Framework (Q3543647) (← links)
- (Q4536108) (← links)
- Operational aspects of untyped Normalisation by Evaluation (Q4818938) (← links)
- Towards a scalable proof engine: a performant Prototype rewriting primitive for Coq (Q6611970) (← links)