Merge
No related branches found
No related tags found
Showing
- metadata/authors.toml 24 additions, 7 deletionsmetadata/authors.toml
- metadata/entries/AVL-Trees.toml 1 addition, 1 deletionmetadata/entries/AVL-Trees.toml
- metadata/entries/BDD.toml 0 additions, 1 deletionmetadata/entries/BDD.toml
- metadata/entries/DiskPaxos.toml 1 addition, 1 deletionmetadata/entries/DiskPaxos.toml
- metadata/entries/FOL_Compactness.toml 39 additions, 0 deletionsmetadata/entries/FOL_Compactness.toml
- metadata/entries/GenClock.toml 1 addition, 1 deletionmetadata/entries/GenClock.toml
- metadata/entries/JiveDataStoreModel.toml 0 additions, 1 deletionmetadata/entries/JiveDataStoreModel.toml
- metadata/entries/KBPs.toml 1 addition, 1 deletionmetadata/entries/KBPs.toml
- metadata/entries/List_Power.toml 45 additions, 0 deletionsmetadata/entries/List_Power.toml
- metadata/entries/MiniML.toml 1 addition, 1 deletionmetadata/entries/MiniML.toml
- metadata/entries/Quantum_Fourier_Transform.toml 31 additions, 0 deletionsmetadata/entries/Quantum_Fourier_Transform.toml
- metadata/entries/Simpl.toml 0 additions, 1 deletionmetadata/entries/Simpl.toml
- thys/Abstract_Substitution/Functional_Substitution_Lifting.thy 0 additions, 12 deletions...Abstract_Substitution/Functional_Substitution_Lifting.thy
- thys/Abstract_Substitution/Natural_Functor.thy 13 additions, 2 deletionsthys/Abstract_Substitution/Natural_Functor.thy
- thys/BenOr_Kozen_Reif/document/root.tex 1 addition, 0 deletionsthys/BenOr_Kozen_Reif/document/root.tex
- thys/Birkhoff_Finite_Distributive_Lattices/document/root.tex 1 addition, 0 deletionsthys/Birkhoff_Finite_Distributive_Lattices/document/root.tex
- thys/CSP_RefTK/document/root.tex 1 addition, 0 deletionsthys/CSP_RefTK/document/root.tex
- thys/CVM_Distinct_Elements/document/root.tex 1 addition, 0 deletionsthys/CVM_Distinct_Elements/document/root.tex
- thys/Cardinality_Continuum/document/root.tex 1 addition, 0 deletionsthys/Cardinality_Continuum/document/root.tex
- thys/Chebyshev_Polynomials/document/root.tex 1 addition, 0 deletionsthys/Chebyshev_Polynomials/document/root.tex
Loading
Please register or sign in to comment