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.

Swift 95.9%
TypeScript 1.9%
CSS 0.5%
JavaScript 0.2%
Shell 0.1%
Other 1.4%
384 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