jonmsterling.com / swift-pterodactyl
this repo has no description www.jonmsterling.com/01HC/
dependent-types proof-assistant swift
fork atom
Swift 95.7%
CSS 0.6%
Shell 0.1%
Other 3.6%
268 4 0

Clone this repository

https://tangled.org/jonmsterling.com/swift-pterodactyl https://tangled.org/did:plc:jjiv56ot7d6sgethto3jr3r5/swift-pterodactyl
git@knot.cl.cam.ac.uk:jonmsterling.com/swift-pterodactyl git@knot.cl.cam.ac.uk:did:plc:jjiv56ot7d6sgethto3jr3r5/swift-pterodactyl

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

Download tar.gz