Type Theory Websites
PRL Project Home - Proofs as Programs
implementing computational mathematics and providing logic-based tools that help automate programming
Not Applicable
$
8.95
Career Test Center - Discover your ideal career
Career test based on type theory. Discover your personality and ideal career.
1,343,373
$
960.00
Home | Proofs and Computations
A comic about my dog... and the nature of computation with regards to proofs.
Not Applicable
$
8.95
Satyendra kr. Banjare
Website of Satyendra Kumar Banjare, Undergraduate student of IIT Roorkee | Verifiably Secure computing geek
Not Applicable
$
8.95
Michael A. Warren
Michael A. Warren, researcher in mathematics, logic and computer science
Not Applicable
$
8.94
