assisted-reasoning topic
List
assisted-reasoning repositories
LSTS
107
Stars
3
Forks
Watchers
Large Scale Type Systems (programming language)
lambda-mountain
15
Stars
0
Forks
Watchers
Compact Typed Assembler (5K SLOC)