Sandy Vanderbleek
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
never shared a talk
who talks about the same things
- Philip Wadler14 talks
- Vaibhav Sagar6 talks
- Benjamin Delaware18 talks
- Byron Cook6 talks
- Kathleen Fisher9 talks
- Sarah Sanders4 talks
| title | conference | date |
|---|---|---|
| Athena: A Declarative Language For Proofs In Computer Science | LambdaConf 2018 | 2018-06-03 |
Athena is a declarative proof language (not tactic based) that you can install and run at the command line; it emphasizes declarative not tactic-based proofs… | ||
| nothing matches | ||