the-thoralf-plugin icon indicating copy to clipboard operation
the-thoralf-plugin copied to clipboard

Published 20 hours ago • verified publisher icon bgamari
→

Metadata

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

← Metadata

22
Stars
6
Forks
Watchers

Owner

verified publisher icon bgamari

Metadata

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

Back