Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Hoare Tut

A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
Stars
11
License
lgpl-3.0
Open Issues
0
Most Recent Commit
2 years ago
Programming Language
Coq
Categories
Repo
Suggest An Alternative To hoare-tut
Popular Generation Projects
Httpx ⭐ 11,772
A next generation HTTP client for Python. 🦋
dependent packages 3,751total releases 66latest release November 24, 2023most recent commit 3 months agopypi httpx} Downloads
Sqlboiler ⭐ 6,256
Generate a Go ORM tailored to your database schema.
dependent packages 145total releases 99latest release August 18, 2023most recent commit 3 months ago
Pdf Lib ⭐ 5,930
Create and modify PDF documents in any JavaScript environment
dependent packages 334total releases 85latest release November 06, 2021most recent commit 3 months agonpm pdf-lib} Downloads
Popular Coq Projects
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Related Searches
Tutorials Generation
Tutorials Coq
Generation Coq
Coq Hoare Logic

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Tutorials
Generation
Coq
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.