Top 15 Coq Alternative and Similar Softwares | May 2024

1. Isabelle

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus....... TpSort Score | 1,210,000

2. Agda

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing...... TpSort Score | 103,000

3. F*

F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness properties. The F* type-checker aims to...... TpSort Score | 50,000,000

4. Soulver

Maths on a Mac as it should be. Soulver is a new kind of calculator application which uses a simple yet powerful word-processor style interface instead of the traditional "button" approach to doing math....... TpSort Score | 63,600,000

5. Aveloy Graph

Aveloy Graph is an application for graph creation / data visualization - fast, easy to use and interactive....... TpSort Score | 29,900,000

6. MathQuill

Easily type math in your web app. Just load MathQuill and call the constructors on some HTML element DOM objects....... TpSort Score | 28,300,000

7. eMathHelp

Site is created to help people learn math. Includes algebra, calculus, differential equation calculators and notes with many examples. Provides free homework help....... TpSort Score | 14,700,000

8. Dr. Geo

Dr. Geo, a software to design & manipulate interactive geometric sketches.It helps kids to explore geometry.Distributed with its source code it is modify-me-ready....... TpSort Score | 131,000,000

9. Basic Fluid Mechanics Formulas

Save money calculating Fluid Mechanics without expensive courses!Basic Fluid Mechanics Formulas comprises a selection of 76 different calculators that will simplify calculations which have given you headaches so far. Complex calculations, such as Dry Bulk Density of Soil, Specific Gravity with Water Weight and others listed below will be handled...... TpSort Score | 398,000

10. Sequalator

Sequalator stands for Simultaneous Equations Calculator.It is a software for solving Linear Simultaneous Equations. The solver is based on the Gauss Jordan elimination method for solving Linear Simultaneous Equations. Sequalator uses OpenCL technology for solving the equations on the GPU.Sequalator is free software! You may use it for educational as...... TpSort Score | 28,300,000

11. Arithmetic practice and tests

Practice all the basic arithmetic operations: Addition, subtraction, multiplication and division.Have the tests at your own pace.You can configure the:- size of each test (how many questions per test). You can select from 5, 10, 15, 20, 50 and 100 question tests.- length of the numbers that are shown in...... TpSort Score | 51,900,000

12. python(x,y)

Python(x,y) is a free scientific and engineering development software for numerical computations, data analysis and data visualization based on Python programming language, Qt graphical user interfaces and Spyder interactive scientific development environment. With Python(x,y), one can do: interactive calculations including for example 2D and 3D plotting or symbolic...... TpSort Score | 19,200,000

13. SchoolUp™ - Homework Alerts

Lumos SchoolUp™ is a free App that helps teachers and parents discover thousands of learning resources while staying connected. Through this app, teachers can easily share alerts on homework, assignments, PTA meetings, supply lists, conferences or extracurricular activities with the parent community. Teachers and parents can also assign relevant, high-quality...... TpSort Score | 6,720,000

14. Math ELA Grade 3 - Common Core

Lumos StepUp Grade 3 app provides realistic practice for PARCC and Smarter Balanced (SBAC) assessments. It helps improve grade-specific math and English Language Arts skills.* Six Technology enhanced question types in both MATH and ELA* Jokes and cartoons to make learning fun!* Instant access to Common Core State Standards* Practice...... TpSort Score | 20,600,000

15. Math ELA Grade 4 - Common Core

Lumos StepUp Grade 4 app provides realistic practice for PARCC and Smarter Balanced (SBAC) assessments. It helps improve grade-specific math and English Language Arts skills.* Six Technology enhanced question types in both MATH and ELA* Jokes and cartoons to make learning fun!* Instant access to Common Core State Standards* Practice...... TpSort Score | 20,100,000