1. David Meade

    David Meade

    Joined

    Videos / Channels / Groups / Albums / Following

  2. Marco Piedra Venegas

    Marco Piedra Venegas San José, Costa Rica

    Joined

    Videos / Channels / Groups / Albums / Following

    Math/computer science (undergraduate) student at University of Costa Rica. Some of my interests: - Logic in computer science, mathematical logic: type theory, Curry-Howard "isomorphism" ("proofs-as-programs"), interactive/automated theorem provers, etc. - Open education: MIT…

  3. Pete White

    Pete White

    Joined

    Videos / Channels / Groups / Albums / Following

Browse Followers

Geology” by Pete White has 3 followers and 1 moderator.

Browse This Channel

Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. Channels