Coq ile yazılmış kütüphaneler
unbound
Replib: jenerik programlama & Unbound: bağlayıcıların jenerik tedavisi.
- 40
- BSD 3-clause "New" or "Revised"
cps
Coq'ta [WIP] (takanuva tarafından) devam eden-geçen stil hesabının resmileştirilmesi.
- 20
- BSD 3-clause "New" or "Revised"
comonad-transformers
Haskell 98 comonad transformatörleri - 4.0'dan itibaren bunlar comonad paketinde birleştirildi.
- 12
- BSD 3-clause "New" or "Revised"
Doubly-Linked-List-VST
VST kullanarak çift bağlantılı bir liste kitaplığını doğrulamayı amaçlayan CS2603 (2021 İlkbahar) için son proje. @karzexcc ile işbirliği.
- 2
- GNU General Public License v3.0 only
recross-coq
Normal ifade bulmacalarını çözmek için Coq'ta normal ifade motoru.
- 0
- GNU General Public License v3.0 only