Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

ksojakova.md

Blame
    • Forked from KWARC / kwarc.info / www
    1131 commits behind the upstream repository.
    ksojakova.md 243 B 
    layout: person
title: Kristina Sojakova 
fullname: Kristina Sojakova 
role: master-student
start_date: 2008-09
end_date: 2010-08

    Thesis Title

    Mechanically Verifying Logic Translations

    Home Page

    http://www.cs.cmu.edu/~ksojakov/