jonmsterling.com / project-pterodactyl
This repository has no description www.jonmsterling.com/01HC/
dependent-types proof-assistant swift
3
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

295 3 0

Clone this repository

https://tangled.org/jonmsterling.com/project-pterodactyl https://tangled.org/did:plc:7ynbqvgkv5rm77afuwirmppc
git@knot.cl.cam.ac.uk:jonmsterling.com/project-pterodactyl git@knot.cl.cam.ac.uk:did:plc:7ynbqvgkv5rm77afuwirmppc

For self-hosted knots, clone URLs may differ based on your setup.


Download tar.gz Download .zip