Christa Jenkins | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Harold Carr
4 publications
Mark Moir
4 publications
Lisandra Silva
3 publications
Victor Cacciari Miraldo
3 publications

research

∙ 08/17/2022

Proof Engineering with Predicate Transformer Semantics

We present a lightweight, open source Agda framework for manually verify...

0 Christa Jenkins, et al. ∙

research

∙ 05/18/2022

An approach to translating Haskell programs to Agda and reasoning about them

We are using the Agda programming language and proof assistant to formal...

0 Harold Carr, et al. ∙