Dana @liesnikov@types.pl
Doing a PhD in type theory at TU Delft.
Joined Nov 2022
Computer-assisted proofs, tired: coq, lean, isabelle
Computer-assisted proofs, wired: G A L A C T I C A ™️
Doing a PhD in type theory at TU Delft.
Joined Nov 2022
Doing a PhD in type theory at TU Delft.
Computer-assisted proofs, tired: coq, lean, isabelle
Computer-assisted proofs, wired: G A L A C T I C A ™️
Doing a PhD in type theory at TU Delft.