Michael Färber
where else to find them
no profile links on file
what they talk about
where they keep going back
- CPP2 editions2022–2023
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Terms for Efficient Proof Checking and Parsing | CPP 2023 | 2023-01-16 |
Implementation in Rust (the proof checker Kontroli) introduces heterogeneous terms that separate long-lived global terms from short-lived local terms and uses… | ||
| Safe, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting | CPP 2022 | 2022-01-17 |
Reimplements a Dedukti-like kernel for the lambda-Pi calculus modulo rewriting in Rust and builds a small, memory- and thread-safe proof checker called… | ||
| nothing matches | ||