Forked from
KWARC / kwarc.info / www
1114 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
ksojakova.md 243 B
layout: person
title: Kristina Sojakova
fullname: Kristina Sojakova
role: master-student
start_date: 2008-09
end_date: 2010-08Thesis Title
Mechanically Verifying Logic Translations