Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very High Activity

Related Projects

Analyzed about 17 hours ago. based on code collected about 23 hours ago.

Projects Similar to lean

img avatar

Skeptik   (Compare Project)

Activity Not Available

License: Creative_Commons_NoncommercialShare_Alike-deleted


 
img avatar

GAPT   (Compare Project)

Low Activity

Mostly written in Scala

License: gpl3_or_later


 
img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in OCaml

License: lgpl


 
img avatar

Isabelle   (Compare Project)

Activity Not Available

License: BSD-3-Clause


 

S

software-foundations   (Compare Project)

Inactive

Mostly written in Nix

License: Unknown


 

R

rzk   (Compare Project)

High Activity

Mostly written in Haskell

License: Unknown


 

H

holbert   (Compare Project)

Very Low Activity

Mostly written in Haskell

License: Unknown


 

People who use lean also use:

Open Hub requires more users for this project before we can determine project relationships.

This list is updated nightly.