Coq programming-language

Open-source Coq projects categorized as programming-language
Edit details
Dependent Types coq
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Coq programming-language Projects

programming-language

  1. Coq-Equations

    A function definition package for Coq

  2. Sevalla

    Deploy and host your apps and databases, now with $50 credit! Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!

    Sevalla logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Coq programming-language discussion

Log in or Post with

Coq programming-language related posts

  • Translation of the Rust's core and alloc crates to Coq for formal verification

    3 projects | news.ycombinator.com | 15 May 2024

  • Two Mechanisations of WebAssembly 1.0

    2 projects | /r/ProgrammingLanguages | 3 Jan 2022

Index

# Project Stars
1 Coq-Equations 232

Sponsored
Deploy and host your apps and databases, now with $50 credit!
Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!
sevalla.com
Loading...