Dependent Types, Proof Assistant, Type-driven Development, Verification
We've discovered a door to a hidden part of reality โ what's inside?
newscientist.comยท7h
Loading...Loading more...
Dependent Types, Proof Assistant, Type-driven Development, Verification