@abcdw worth noting: they are also available interactively...

@abcdw worth noting: they are also available interactively online
https://coq.vercel.app/

Like 26 Jul 2023 at 5:15 | Wall-to-wall | Open on types.pl