uds-psl/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
CoqMPL-2.0
Stargazers
- ana-borges
- anoriqq@ClusterVR
- anton-trunovTON Foundation
- bennnUniversity of Utah
- beyonddreamMicrosoft
- bixuanzjuStandard Chartered
- brendanzab@yeslogic
- chameco@GaloisInc
- clayratIMDEA Software
- co-danGroningen
- cpresseyOffice... submarine!
- dannypsnl@second-state
- euppJetBrains Research
- HagbChongqing University
- joom@Bloomberg
- KiJeong-LimGwangju, Republic of Korea
- lbordowitzMerit International, Inc.
- linusboyleTsinghua University
- moleike@nqcentral
- n-osborne@tarides
- noti0na1LAMP, EPFL
- nzyuzinMoscow, Russia
- pi8027Lyon, France
- ralvrzCuernavaca, México
- simonspiesMPI-SWS
- smondetNew York, NY
- smorimoto@ocaml @tc39
- theolaurentParis
- theryINRIA
- tildedave@atlassian
- tkersey@thisisartium
- Tridu33
- vbgl
- vyorkin@zeriontech
- zaimoni
- Zimmi48Télécom Paris