home.social

#deduce — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #deduce, aggregated by home.social.

  1. Deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. ~ Jeremy Siek (@jeremysiek). github.com/jsiek/deduce #Algorithms #FunctionalProgramming #ITP #Deduce

  2. Deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. ~ Jeremy Siek (@jeremysiek). github.com/jsiek/deduce #Algorithms #FunctionalProgramming #ITP #Deduce

  3. Deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. ~ Jeremy Siek (@jeremysiek). github.com/jsiek/deduce #Algorithms #FunctionalProgramming #ITP #Deduce

  4. Deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. ~ Jeremy Siek (@jeremysiek). github.com/jsiek/deduce #Algorithms #FunctionalProgramming #ITP #Deduce

  5. Deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. ~ Jeremy Siek (@jeremysiek). github.com/jsiek/deduce #Algorithms #FunctionalProgramming #ITP #Deduce