JetLib News
Automatically Filtered News
Home
About
Home
>
lambdatheultimate
> Dependently Typed Programming based on Automated Theorem Proving
Dependently Typed Programming based on Automated Theorem Proving
December 22nd, 2011 12:18
admin
Leave a comment
Go to comments