Software Alternatives & Reviews
Register | Login

Isabelle VS Idris

Compare Isabelle VS Idris and see what are their differences

Contents:
  1. » Base Details
  2. » Videos
  3. » Reviews
  4. » Alternatives

Isabelle logo Isabelle

Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

Idris logo Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development
  • Isabelle Landing page
    Landing page //
    2023-04-29
  • Idris Landing page
    Landing page //
    2021-10-05

Isabelle videos

+ Add

*NEW* ISABELLE Skin! Reactive Test | Gameplay + Combos | Before You Buy (Fortnite Battle Royale)

More videos:

  • Review - Isabelle skin gameplay and review
  • Review - Should You Buy? ISABELLE Skin Fortnite (Fortnite Season 6)

Idris videos

+ Add

FLYING THE IDRIS: REVIEW & FIRST IMPRESSIONS [STAR CITIZEN]

More videos:

  • Review - Star Citizen: Idris Overview - This ship is Idris-iculous
  • Review - Star Citizen: Idris First in Game Look!

Category Popularity

0-100% (relative to Isabelle and Idris)

Isabelle

Idris

OOP
54 54%
OOP
46% 46
Programming Language
46 46%
Programming Language
54% 54
Generic Programming Language
54 54%
Generic Programming Language
46% 46
Technical Computing
50 50%
Technical Computing
50% 50

User comments

Share your experience with using Isabelle and Idris. For example, how are they different and which one is better?
Log in or Post with

Social recommendations and mentions

Based on our record, Idris seems to be more popular. It has been mentiond 1 time since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.

Isabelle mentions (0)

We have not tracked any mentions of Isabelle yet. Tracking of Isabelle recommendations started around Mar 2021.

Idris mentions (1)

  • What's the current status with packages/libraries on Idris?
    So apparently there's a package manager called Inigo, but there are only a few packages in it. There's an idris-hackers group on github, that's linked from the idris-lang.org page. None of those libraries appear in Inigo though. So seems that Inigo isn't really a thing people are using. Source: over 2 years ago

What are some alternatives?

When comparing Isabelle and Idris, you can also consider the following products

Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.

Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...

Lean - Clean up your Live Photos

Rust - A safe, concurrent, practical language

Haskell - An advanced purely-functional programming language

Racket Lang - Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...

Loading...