§01 · Projets

Projets.

Plugins Filament, packages Laravel et starter kits open source activement maintenus. Tous en MIT, avec des releases pour v3, v4 et v5 selon les cas.

254 Dépôts publics 5906 Projets au catalogue 198 Plugins Filament 1313 Packages Laravel 8 Starter Kits 7 Maintenus 5 Utilisés au quotidien

§02 · catalogue

Rôle:

Origine:

Sujets populaires:

Filtré par sujet: #proof-assistant

Rocq

starred Application

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

#proof-assistant #coq #theorem-proving #dependent-types

5580 LGPL-2.1

§03 · contribuer

Contribuez, signalez des problèmes, ouvrez des PR.

Tous les packages ont une CI, des tests Pest et des issues ouvertes taguées good first issue.

Voir sur GitHub Sponsoriser