rocq-prover/rocq
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.
Licencia y mantenimiento
LGPL-2.1 es una licencia copyleft: los productos que lo incluyan o modifiquen pueden tener que publicar su código.
Último cambio de código hoy.
Proyectos similares
| Repositorio | Estrellas | Actividad | |
|---|---|---|---|
| 1 |  bitcoin/bitcoinBitcoin Core integration/staging tree | ★ 90.4k | Activo |
| 2 |  FuelLabs/fuel-coreRust full node implementation of the Fuel v2 protocol. | ★ 56.8k | Activo |
| 3 |  freqtrade/freqtradeFree, open source crypto trading bot | ★ 55.6k | Activo |
| 4 |  DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions. | ★ 51.4k | Activo |
| 5 |  ethereum/go-ethereumGo implementation of the Ethereum protocol | ★ 51.4k | Activo |
| 6 |  anoma/anomaReference implementation of Anoma | ★ 33.6k | Menos activo |
| 7 |  shardeum/shardeumShardeum is an EVM based autoscaling blockchain | ★ 31.2k | Sin cambios |
| 8 |  bitcoinbook/bitcoinbookMastering Bitcoin 3rd Edition - Programming the Open Blockchain | ★ 25.3k | Sin cambios |