Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Dsss17

Lecture material for DeepSpec Summer School 2017
Stars
82
License
No license specified
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
Coq
Categories
Site
Repo
Alternatives To Dsss17
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Dsss1782
3 years agoCoq
Lecture material for DeepSpec Summer School 2017
Tutorial_material16
6 months ago1Coq
proof script associated to tutorial material
Alternatives To Dsss17
Select To Compare


Suggest An Alternative To dsss17
Alternative Project Comparisons
Dsss17 vs Tutorial_material
Popular Material Projects
Material Design Icons ⭐ 49,227
Material Design icons by Google
dependent packages 916total releases 12latest release September 02, 2016most recent commit 3 months agonpm material-design-icons} Downloads
Materialize ⭐ 38,862
Materialize, a CSS Framework based on Material Design
dependent packages 412total releases 26latest release September 09, 2018most recent commit 19 days agonpm materialize-css} Downloads
Vuetify ⭐ 38,647
🐉 Vue Component Framework
dependent packages 2,457total releases 561latest release December 06, 2023most recent commit 3 months agonpm vuetify} Downloads
Popular Coq Projects
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Material
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.