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

Search JAR files by class name

Download syntax JAR 0.36.0 with all dependencies

The Aya proof assistant

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

Test

Artifact syntax
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 4
Dependencies tools-kala, tools-md, pretty, ij-parsing-core,
There are maybe transitive dependencies!

There is a newer version: 0.34.0

Show newest version

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

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

0 downloads

Source code of syntax version 0.36.0

META-INF

META-INF.META-INF.MANIFEST.MF

org.aya.generic

org.aya.generic.org.aya.generic.AyaDocile

org.aya.generic.org.aya.generic.AyaHome

org.aya.generic.org.aya.generic.Constants

org.aya.generic.org.aya.generic.InterruptException

org.aya.generic.org.aya.generic.Modifier

org.aya.generic.org.aya.generic.Nested

org.aya.generic.org.aya.generic.Renamer

org.aya.generic.org.aya.generic.State

org.aya.generic.org.aya.generic.Suppress

org.aya.generic.stmt

org.aya.generic.stmt.org.aya.generic.stmt.Shaped

org.aya.generic.stmt.org.aya.generic.stmt.TyckOrder

org.aya.generic.stmt.org.aya.generic.stmt.TyckUnit

org.aya.generic.term

org.aya.generic.term.org.aya.generic.term.DTKind

org.aya.generic.term.org.aya.generic.term.ParamLike

org.aya.generic.term.org.aya.generic.term.SortKind

org.aya.prettier

org.aya.prettier.org.aya.prettier.AyaPrettierOptions

org.aya.prettier.org.aya.prettier.BasePrettier

org.aya.prettier.org.aya.prettier.ConcretePrettier

org.aya.prettier.org.aya.prettier.CorePrettier

org.aya.prettier.org.aya.prettier.FindUsage

org.aya.prettier.org.aya.prettier.Tokens

org.aya.syntax

org.aya.syntax.org.aya.syntax.AyaFiles

org.aya.syntax.org.aya.syntax.GenericAyaFile

org.aya.syntax.org.aya.syntax.GenericAyaParser

org.aya.syntax.compile

org.aya.syntax.compile.org.aya.syntax.compile.CompiledAya

org.aya.syntax.compile.org.aya.syntax.compile.JitClass

org.aya.syntax.compile.org.aya.syntax.compile.JitCon

org.aya.syntax.compile.org.aya.syntax.compile.JitData

org.aya.syntax.compile.org.aya.syntax.compile.JitDef

org.aya.syntax.compile.org.aya.syntax.compile.JitFn

org.aya.syntax.compile.org.aya.syntax.compile.JitMatchy

org.aya.syntax.compile.org.aya.syntax.compile.JitMember

org.aya.syntax.compile.org.aya.syntax.compile.JitPrim

org.aya.syntax.compile.org.aya.syntax.compile.JitUnit

org.aya.syntax.concrete

org.aya.syntax.concrete.org.aya.syntax.concrete.Expr

org.aya.syntax.concrete.org.aya.syntax.concrete.Pattern

org.aya.syntax.concrete.stmt

org.aya.syntax.concrete.stmt.org.aya.syntax.concrete.stmt.BindBlock

org.aya.syntax.concrete.stmt.org.aya.syntax.concrete.stmt.Command

org.aya.syntax.concrete.stmt.org.aya.syntax.concrete.stmt.Generalize

org.aya.syntax.concrete.stmt.org.aya.syntax.concrete.stmt.ModuleName

org.aya.syntax.concrete.stmt.org.aya.syntax.concrete.stmt.QualifiedID

org.aya.syntax.concrete.stmt.org.aya.syntax.concrete.stmt.Stmt

org.aya.syntax.concrete.stmt.org.aya.syntax.concrete.stmt.StmtVisitor

org.aya.syntax.concrete.stmt.org.aya.syntax.concrete.stmt.UseHide

org.aya.syntax.concrete.stmt.decl

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.ClassDecl

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.ClassMember

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.DataCon

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.DataDecl

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.Decl

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.DeclInfo

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.FnBody

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.FnDecl

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.PrimDecl

org.aya.syntax.concrete.stmt.decl.org.aya.syntax.concrete.stmt.decl.TeleDecl

org.aya.syntax.core

org.aya.syntax.core.org.aya.syntax.core.Closure

org.aya.syntax.core.org.aya.syntax.core.Jdg

org.aya.syntax.core.org.aya.syntax.core.RichParam

org.aya.syntax.core.def

org.aya.syntax.core.def.org.aya.syntax.core.def.AnyDef

org.aya.syntax.core.def.org.aya.syntax.core.def.ClassDef

org.aya.syntax.core.def.org.aya.syntax.core.def.ClassDefLike

org.aya.syntax.core.def.org.aya.syntax.core.def.ConDef

org.aya.syntax.core.def.org.aya.syntax.core.def.ConDefLike

org.aya.syntax.core.def.org.aya.syntax.core.def.DataDef

org.aya.syntax.core.def.org.aya.syntax.core.def.DataDefLike

org.aya.syntax.core.def.org.aya.syntax.core.def.FnDef

org.aya.syntax.core.def.org.aya.syntax.core.def.FnDefLike

org.aya.syntax.core.def.org.aya.syntax.core.def.Matchy

org.aya.syntax.core.def.org.aya.syntax.core.def.MatchyLike

org.aya.syntax.core.def.org.aya.syntax.core.def.MemberDef

org.aya.syntax.core.def.org.aya.syntax.core.def.MemberDefLike

org.aya.syntax.core.def.org.aya.syntax.core.def.PrimDef

org.aya.syntax.core.def.org.aya.syntax.core.def.PrimDefLike

org.aya.syntax.core.def.org.aya.syntax.core.def.SubLevelDef

org.aya.syntax.core.def.org.aya.syntax.core.def.TopLevelDef

org.aya.syntax.core.def.org.aya.syntax.core.def.TyckAnyDef

org.aya.syntax.core.def.org.aya.syntax.core.def.TyckDef

org.aya.syntax.core.pat

org.aya.syntax.core.pat.org.aya.syntax.core.pat.BindEater

org.aya.syntax.core.pat.org.aya.syntax.core.pat.Pat

org.aya.syntax.core.pat.org.aya.syntax.core.pat.PatMatcher

org.aya.syntax.core.pat.org.aya.syntax.core.pat.PatToTerm

org.aya.syntax.core.pat.org.aya.syntax.core.pat.TypeEraser

org.aya.syntax.core.repr

org.aya.syntax.core.repr.org.aya.syntax.core.repr.AyaShape

org.aya.syntax.core.repr.org.aya.syntax.core.repr.CodeShape

org.aya.syntax.core.repr.org.aya.syntax.core.repr.PatShape

org.aya.syntax.core.repr.org.aya.syntax.core.repr.ShapeRecognition

org.aya.syntax.core.repr.org.aya.syntax.core.repr.TermShape

org.aya.syntax.core.term

org.aya.syntax.core.term.org.aya.syntax.core.term.AppTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.ClassCastTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.DepTypeTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.ErrorTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.FreeCollector

org.aya.syntax.core.term.org.aya.syntax.core.term.FreeTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.LamTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.LocalTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.MetaPatTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.NewTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.Param

org.aya.syntax.core.term.org.aya.syntax.core.term.ProjTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.SortTerm

org.aya.syntax.core.term.org.aya.syntax.core.term.Term

org.aya.syntax.core.term.org.aya.syntax.core.term.TupTerm

org.aya.syntax.core.term.call

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.Callable

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.ClassCall

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.ConCall

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.ConCallLike

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.DataCall

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.FnCall

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.MatchCall

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.MemberCall

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.MetaCall

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.PrimCall

org.aya.syntax.core.term.call.org.aya.syntax.core.term.call.RuleReducer

org.aya.syntax.core.term.marker

org.aya.syntax.core.term.marker.org.aya.syntax.core.term.marker.BetaRedex

org.aya.syntax.core.term.marker.org.aya.syntax.core.term.marker.Formation

org.aya.syntax.core.term.marker.org.aya.syntax.core.term.marker.StableWHNF

org.aya.syntax.core.term.marker.org.aya.syntax.core.term.marker.TyckInternal

org.aya.syntax.core.term.repr

org.aya.syntax.core.term.repr.org.aya.syntax.core.term.repr.IntegerOps

org.aya.syntax.core.term.repr.org.aya.syntax.core.term.repr.IntegerTerm

org.aya.syntax.core.term.repr.org.aya.syntax.core.term.repr.ListOps

org.aya.syntax.core.term.repr.org.aya.syntax.core.term.repr.ListTerm

org.aya.syntax.core.term.repr.org.aya.syntax.core.term.repr.MetaLitTerm

org.aya.syntax.core.term.repr.org.aya.syntax.core.term.repr.StringTerm

org.aya.syntax.core.term.xtt

org.aya.syntax.core.term.xtt.org.aya.syntax.core.term.xtt.CoeTerm

org.aya.syntax.core.term.xtt.org.aya.syntax.core.term.xtt.DimTerm

org.aya.syntax.core.term.xtt.org.aya.syntax.core.term.xtt.DimTyTerm

org.aya.syntax.core.term.xtt.org.aya.syntax.core.term.xtt.EqTerm

org.aya.syntax.core.term.xtt.org.aya.syntax.core.term.xtt.PAppTerm

org.aya.syntax.literate

org.aya.syntax.literate.org.aya.syntax.literate.AyaBacktickParser

org.aya.syntax.literate.org.aya.syntax.literate.AyaLiterate

org.aya.syntax.literate.org.aya.syntax.literate.CodeOptions

org.aya.syntax.ref

org.aya.syntax.ref.org.aya.syntax.ref.AnyDefVar

org.aya.syntax.ref.org.aya.syntax.ref.AnyVar

org.aya.syntax.ref.org.aya.syntax.ref.CompiledVar

org.aya.syntax.ref.org.aya.syntax.ref.DefVar

org.aya.syntax.ref.org.aya.syntax.ref.GeneralizedVar

org.aya.syntax.ref.org.aya.syntax.ref.GenerateKind

org.aya.syntax.ref.org.aya.syntax.ref.LocalCtx

org.aya.syntax.ref.org.aya.syntax.ref.LocalVar

org.aya.syntax.ref.org.aya.syntax.ref.MapLocalCtx

org.aya.syntax.ref.org.aya.syntax.ref.MemberVar

org.aya.syntax.ref.org.aya.syntax.ref.MetaVar

org.aya.syntax.ref.org.aya.syntax.ref.ModulePath

org.aya.syntax.ref.org.aya.syntax.ref.QName

org.aya.syntax.ref.org.aya.syntax.ref.QPath

org.aya.syntax.ref.org.aya.syntax.ref.SeqLocalCtx

org.aya.syntax.telescope

org.aya.syntax.telescope.org.aya.syntax.telescope.AbstractTele

org.aya.syntax.telescope.org.aya.syntax.telescope.JitTele

org.aya.syntax.telescope.org.aya.syntax.telescope.Signature

© 2015 - 2025 Weber Informatics LLC | Privacy Policy