assisted-reasoning topic

List assisted-reasoning repositories

LSTS

104
Stars
3
Forks
Watchers

Large Scale Type Systems (programming language)

verified publisher icon andrew-johnson-4