AthenaFoundation

AthenaFoundation's repositories

Athena is a modern, practical language for proof engineering & natural deduction.

Language:Standard MLApache-2.063 1 5

Language:JavaScript100

A language server for the Athena proof language

Language:RustApache-2.001 1

Language:RustApache-2.0010

This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems

Language:Python000

Athena language support for VS Code (work in progress)

000