AuReLeE project (@aureleeNet)
Guthub

aureleeNet

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Org. Rank 263,938 (Top 85 %)
  • Registered over 3 years ago
  • Most used languages
    Isabelle     50.0 %
    Scala
         50.0 %
  • Location πŸ‡±πŸ‡Ί Luxembourg
  • Country Total Rank 659
  • Country Ranking
    Isabelle     1
    Scala
         11

Top repositories

1

rio

A reasoner for Input/Output logic
Scala
1
star
2

formalizations

This repository collects project-relevant Isabelle/HOL formalizations.
Isabelle
1
star