Overview
Preliminary manual translations of verified C/ACSL functions into Imperative HOL
Issue tracking Details
Members
Manager: Igor Tarakanov, Mikhail Mandrykin, Pavel Putro, Александр Крюков, Рафаэль Садыков
Developer: Igor Tarakanov, Mikhail Mandrykin, Pavel Putro, Александр Крюков, Рафаэль Садыков
Reporter: Igor Tarakanov, Pavel Putro, Александр Крюков, Рафаэль Садыков
Customer: Igor Tarakanov, Pavel Putro, Александр Крюков, Рафаэль Садыков
Technical Writer: Igor Tarakanov, Александр Крюков
Project Creator: Mikhail Mandrykin