All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download base JAR 0.36.0 with all dependencies

The Aya proof assistant

Files of the artifact base version 0.36.0 from the group org.aya-prover.

Test

Artifact base
Group org.aya-prover
Version 0.36.0
Last update 18. December 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of base Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of base version 0.36.0

META-INF

META-INF.META-INF.MANIFEST.MF

org.aya.normalize

org.aya.normalize.org.aya.normalize.Finalizer

org.aya.normalize.org.aya.normalize.Normalizer

org.aya.normalize.error

org.aya.normalize.error.org.aya.normalize.error.UnsolvedLit

org.aya.normalize.error.org.aya.normalize.error.UnsolvedMeta

org.aya.prelude

org.aya.prelude.org.aya.prelude.GeneratedVersion

org.aya.primitive

org.aya.primitive.org.aya.primitive.PrimFactory

org.aya.primitive.org.aya.primitive.ShapeFactory

org.aya.primitive.org.aya.primitive.ShapeMatcher

org.aya.resolve

org.aya.resolve.org.aya.resolve.ResolveInfo

org.aya.resolve.org.aya.resolve.ResolvingStmt

org.aya.resolve.org.aya.resolve.StmtResolvers

org.aya.resolve.context

org.aya.resolve.context.org.aya.resolve.context.BindContext

org.aya.resolve.context.org.aya.resolve.context.Candidate

org.aya.resolve.context.org.aya.resolve.context.Context

org.aya.resolve.context.org.aya.resolve.context.EmptyContext

org.aya.resolve.context.org.aya.resolve.context.ModuleContext

org.aya.resolve.context.org.aya.resolve.context.ModuleExport

org.aya.resolve.context.org.aya.resolve.context.ModuleSymbol

org.aya.resolve.context.org.aya.resolve.context.NoExportContext

org.aya.resolve.context.org.aya.resolve.context.PhysicalModuleContext

org.aya.resolve.context.org.aya.resolve.context.ReporterContext

org.aya.resolve.error

org.aya.resolve.error.org.aya.resolve.error.GeneralizedNotAvailableError

org.aya.resolve.error.org.aya.resolve.error.NameProblem

org.aya.resolve.error.org.aya.resolve.error.OperatorError

org.aya.resolve.error.org.aya.resolve.error.PrimResolveError

org.aya.resolve.module

org.aya.resolve.module.org.aya.resolve.module.CachedModuleLoader

org.aya.resolve.module.org.aya.resolve.module.DumbModuleLoader

org.aya.resolve.module.org.aya.resolve.module.FileModuleLoader

org.aya.resolve.module.org.aya.resolve.module.ModuleCallback

org.aya.resolve.module.org.aya.resolve.module.ModuleListLoader

org.aya.resolve.module.org.aya.resolve.module.ModuleLoader

org.aya.resolve.salt

org.aya.resolve.salt.org.aya.resolve.salt.AyaBinOpSet

org.aya.resolve.salt.org.aya.resolve.salt.Desalt

org.aya.resolve.salt.org.aya.resolve.salt.ExprBinParser

org.aya.resolve.salt.org.aya.resolve.salt.PatternBinParser

org.aya.resolve.visitor

org.aya.resolve.visitor.org.aya.resolve.visitor.ExprResolver

org.aya.resolve.visitor.org.aya.resolve.visitor.PatternResolver

org.aya.resolve.visitor.org.aya.resolve.visitor.StmtBinder

org.aya.resolve.visitor.org.aya.resolve.visitor.StmtPreResolver

org.aya.resolve.visitor.org.aya.resolve.visitor.StmtResolver

org.aya.terck

org.aya.terck.org.aya.terck.BadRecursion

org.aya.terck.org.aya.terck.CallResolver

org.aya.tyck

org.aya.tyck.org.aya.tyck.ArgsComputer

org.aya.tyck.org.aya.tyck.ExprTycker

org.aya.tyck.org.aya.tyck.StmtTycker

org.aya.tyck.org.aya.tyck.TyckState

org.aya.tyck.ctx

org.aya.tyck.ctx.org.aya.tyck.ctx.LocalLet

org.aya.tyck.error

org.aya.tyck.error.org.aya.tyck.error.BadExprError

org.aya.tyck.error.org.aya.tyck.error.BadTypeError

org.aya.tyck.error.org.aya.tyck.error.ClassError

org.aya.tyck.error.org.aya.tyck.error.ClausesProblem

org.aya.tyck.error.org.aya.tyck.error.CubicalError

org.aya.tyck.error.org.aya.tyck.error.Goal

org.aya.tyck.error.org.aya.tyck.error.LevelError

org.aya.tyck.error.org.aya.tyck.error.LicitError

org.aya.tyck.error.org.aya.tyck.error.MatchMissingReturnsError

org.aya.tyck.error.org.aya.tyck.error.MetaVarError

org.aya.tyck.error.org.aya.tyck.error.NoRuleError

org.aya.tyck.error.org.aya.tyck.error.NobodyError

org.aya.tyck.error.org.aya.tyck.error.PatternProblem

org.aya.tyck.error.org.aya.tyck.error.PrimError

org.aya.tyck.error.org.aya.tyck.error.SourceNodeProblem

org.aya.tyck.error.org.aya.tyck.error.TyckError

org.aya.tyck.error.org.aya.tyck.error.TyckOrderError

org.aya.tyck.error.org.aya.tyck.error.UnifyError

org.aya.tyck.error.org.aya.tyck.error.UnifyInfo

org.aya.tyck.order

org.aya.tyck.order.org.aya.tyck.order.AyaOrgaTycker

org.aya.tyck.order.org.aya.tyck.order.AyaSccTycker

org.aya.tyck.pat

org.aya.tyck.pat.org.aya.tyck.pat.ClauseTycker

org.aya.tyck.pat.org.aya.tyck.pat.IApplyConfl

org.aya.tyck.pat.org.aya.tyck.pat.PatClassifier

org.aya.tyck.pat.org.aya.tyck.pat.PatUnify

org.aya.tyck.pat.org.aya.tyck.pat.PatternTycker

org.aya.tyck.pat.org.aya.tyck.pat.YouTrack

org.aya.tyck.tycker

org.aya.tyck.tycker.org.aya.tyck.tycker.AbstractTycker

org.aya.tyck.tycker.org.aya.tyck.tycker.AppTycker

org.aya.tyck.tycker.org.aya.tyck.tycker.Contextful

org.aya.tyck.tycker.org.aya.tyck.tycker.Problematic

org.aya.tyck.tycker.org.aya.tyck.tycker.Stateful

org.aya.tyck.tycker.org.aya.tyck.tycker.TeleTycker

org.aya.tyck.tycker.org.aya.tyck.tycker.Unifiable

org.aya.unify

org.aya.unify.org.aya.unify.DoubleChecker

org.aya.unify.org.aya.unify.Synthesizer

org.aya.unify.org.aya.unify.TermComparator

org.aya.unify.org.aya.unify.Unifier

© 2015 - 2025 Weber Informatics LLC | Privacy Policy