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.

project-pterodactyl / Sources / PterodactylKernel /
at pattern-unification 2 folders 9 files
Jon Sterling Unifier: backtracking and cleanup
6760c6fe
Distillation
Rules
ElabError.swift
ElabSink.swift
Environment.swift
Judgements.swift
NameResolver.swift
Recovery.swift
Signature.swift
Tactics.swift
Trust.swift