jonmsterling.com / swift-pterodactyl
this repo has no description www.jonmsterling.com/01HC/
dependent-types proof-assistant swift
13
fork

Configure Feed

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

new
Refactor the value/neutral representation #2
closed jonmsterling.com 0 comments
Prevent circular definitions #1
closed jonmsterling.com 1 comment
assignee/jonmsterling.com