LS-Lab/KeYmaeraX-release - GitHub Explorer | GitHub Explorer | Trending

Stars

93

Forks

48

Watchers

93

Open Issues

17

Repository Health Score

🧡

61/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

Fix AxiomKeyInstantiationTest

E. Prebet•1 year ago

ded9dfdView on GitHub

Move ArchiveParser.parser to GlobalState

Joscha Mennicken•1 year ago

28cdfd5View on GitHub

Move Parser.parser to GlobalState

Joscha Mennicken•1 year ago

a7eff96View on GitHub

Move DLParser to GlobalState

Joscha Mennicken•1 year ago

4dda974View on GitHub

Create GlobalState object

Joscha Mennicken•1 year ago

0f81f68View on GitHub

Remove now-obsolete Ax.prepopulateDerivedLemmaDatabase

Joscha Mennicken•1 year ago

23602c8View on GitHub

Remove now-outdated documentation

Joscha Mennicken•1 year ago

401d0baView on GitHub

Remove now-unused @Axiom macro

Joscha Mennicken•1 year ago

06ffa05View on GitHub

Remove DerivedAxiomInfo.apply by using Ax field directly

Joscha Mennicken•1 year ago

0a1c16eView on GitHub

Gather derivedFormula-based axioms using @Derivation

Joscha Mennicken•1 year ago

d95987eView on GitHub

Gather derivedAxiom-based axioms using @Derivation

Joscha Mennicken•1 year ago

e4645edView on GitHub

Gather derivedAxiomFromFact-based axioms using @Derivation

Joscha Mennicken•1 year ago

7ab158dView on GitHub

Gather derivedFact-based axioms using @Derivation

Joscha Mennicken•1 year ago

0ab2970View on GitHub

Gather coreAxiom-based axioms using @Derivation

Joscha Mennicken•1 year ago

5249f84View on GitHub

Remove now-unused @ProofRule macro

Joscha Mennicken•1 year ago

ae44398View on GitHub

View all commits

GitHub Explorer

KeYmaeraX-release

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues