Alec

AINC (Alec is not coq) is a formal proof management system. 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. Just found coq will be renamed to rocq (by meta-introspector)
Add to my DEV experience Suggest topics
Source Code
coq.inria.fr
Suggest alternative
Edit details
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
Sponsored
Suggest an alternative to Alec

Alec reviews and mentions

Posts with mentions or reviews of Alec. We have used some of these posts to build our list of alternatives and similar projects.
  • Alec is not Coq
    1 project | /r/LlamaIntrospector | 11 Dec 2023
    am tired of talking about coq, so I forked it to Alec, AINQ :Alec is not Coq https://github.com/meta-introspector/alec mascot is a Archaeopteryx named Alec who is the closest relative to the rooster.

Stats

Basic Alec repo stats
1
0
0.0
3 months ago

meta-introspector/Alec is an open source project licensed under GNU Lesser General Public License v3.0 only which is an OSI approved license.

The primary programming language of Alec is OCaml.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com