Constructions:a higher order proof system for mechanizing mathematics
type: Dataset
landing page: https://inria.hal.science/inria-00076155
identifier: Report N°: RR-0401
keyword: infoeu-reposemanticsreport
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: reports
issued: 2026-06-01T23:09:43.581317
modified: 2026-06-01T23:09:43.581325
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Constructions:a higher order proof system for mechanizing mathematics
type: Distribution
format: HTML
access URL: https://inria.hal.science/inria-00076155
issued: 2026-06-01T23:09:43.629706
modified: 2026-06-01T23:09:43.557387