Skip to content

Use Agda generics for proof serialising #289

Use Agda generics for proof serialising

Use Agda generics for proof serialising #289

Run

succeeded Oct 9, 2024 in 1m 34s