Results 11 to 20 of about 12,151 (175)
, 1996 The essential step of the formal verification of a proof-checker such as Coq is the verification of its kernel: a type-checker for the Calculus of Inductive Constructions (CIC) which is its underlying formalism. The present work is a first small-scale attempt on a significative fragment of CIC: the Calculus of Constructions (CC).
Barras, Bruno
core +5 more sources
Animal Models of Coenzyme Q Deficiency: Mechanistic and Translational Learnings
Antioxidants, 2021 Coenzyme Q (CoQ) is a vital lipophilic molecule that is endogenously synthesized in the mitochondria of each cell. The CoQ biosynthetic pathway is complex and not completely characterized, and it involves at least thirteen catalytic and regulatory ...
Pilar González-García +5 more
doaj +1 more source
Alternative splicing of coq-2 controls the levels of rhodoquinone in animals
eLife, 2020 Parasitic helminths use two benzoquinones as electron carriers in the electron transport chain. In normoxia, they use ubiquinone (UQ), but in anaerobic conditions inside the host, they require rhodoquinone (RQ) and greatly increase RQ levels.
June H Tan +9 more
doaj +1 more source
, 2015 We consider a recent publication on higher-order process calculi and describe how its main results have been formalized in the Coq proof assistant. We highlight a number of important technical issues that we have uncovered in the original publication.
Maksimovic, Petar, Schmitt, Alan
openaire +2 more sources
Biosynthesis, Deficiency, and Supplementation of Coenzyme Q
Antioxidants, 2023 Originally identified as a key component of the mitochondrial respiratory chain, Coenzyme Q (CoQ or CoQ10 for human tissues) has recently been revealed to be essential for many different redox processes, not only in the mitochondria, but elsewhere within
Carmine Staiano +6 more
doaj +1 more source
ionathanch/coq: Is Sized Typing for Coq Practical? (JFP)
, 2021 This is the release for the supplementary materials for the submission of Is Sized Typing for Coq Practical? to the Journal of Functional Programming (JFP).
Jonathan Chan, The Coq Development Team
core +1 more source
coq-tactician/coq-tactician-api: PyTactician v15.1
, 2023 An API for interfacing with Coq through Tactician by external ...
mirefek +2 more
core +1 more source
coq-tactician/coq-tactician-api: PyTactician v15.0
, 2023 An API for interfacing with Coq through Tactician by external ...
mirefek +2 more
core +1 more source
Antimicrobial Activity and Antibiofilm Potential of Coenzyme Q0 against Salmonella Typhimurium
Foods, 2021 Coenzyme Q0 (CoQ0) has anti-inflammatory and anti-tumor effects; however, the antimicrobial and antibiofilm activities of CoQ0 against Salmonella enterica serovar Typhimurium are unknown.
Zhuokai Yang +8 more
doaj +1 more source