Skip to content
@aureleeNet

AuReLeE project

Repository for associated sub-projects

Popular repositories Loading

  1. rio rio Public

    A reasoner for Input/Output logic

    Scala 1

  2. formalizations formalizations Public

    This repository collects project-relevant Isabelle/HOL formalizations.

    Isabelle 1

Repositories

Showing 2 of 2 repositories
  • rio Public

    A reasoner for Input/Output logic

    Scala 1 BSD-3-Clause 0 0 0 Updated Feb 25, 2023
  • formalizations Public

    This repository collects project-relevant Isabelle/HOL formalizations.

    Isabelle 1 0 0 0 Updated Oct 18, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Scala Isabelle