merge from afp-2025
Showing
- metadata/authors.toml 17 additions, 0 deletionsmetadata/authors.toml
- metadata/entries/Mission_Time_LTL_Language_Partition.toml 37 additions, 0 deletionsmetadata/entries/Mission_Time_LTL_Language_Partition.toml
- thys/Diagonal_Ramsey/document/root.tex 1 addition, 1 deletionthys/Diagonal_Ramsey/document/root.tex
- thys/Mission_Time_LTL_Language_Partition/MLTL_Language_Partition_Algorithm.thy 241 additions, 0 deletions..._Language_Partition/MLTL_Language_Partition_Algorithm.thy
- thys/Mission_Time_LTL_Language_Partition/MLTL_Language_Partition_Codegen.thy 34 additions, 0 deletions...TL_Language_Partition/MLTL_Language_Partition_Codegen.thy
- thys/Mission_Time_LTL_Language_Partition/MLTL_Language_Partition_Proof.thy 6705 additions, 0 deletions..._LTL_Language_Partition/MLTL_Language_Partition_Proof.thy
- thys/Mission_Time_LTL_Language_Partition/ROOT 13 additions, 0 deletionsthys/Mission_Time_LTL_Language_Partition/ROOT
- thys/Mission_Time_LTL_Language_Partition/document/root.bib 10 additions, 0 deletionsthys/Mission_Time_LTL_Language_Partition/document/root.bib
- thys/Mission_Time_LTL_Language_Partition/document/root.tex 34 additions, 0 deletionsthys/Mission_Time_LTL_Language_Partition/document/root.tex
- thys/ROOTS 1 addition, 0 deletionsthys/ROOTS
- web/authors/cordwell/index.html 13 additions, 0 deletionsweb/authors/cordwell/index.html
- web/authors/cordwell/index.xml 8 additions, 0 deletionsweb/authors/cordwell/index.xml
- web/authors/index.html 3 additions, 0 deletionsweb/authors/index.html
- web/authors/index.json 4 additions, 0 deletionsweb/authors/index.json
- web/authors/rosentrater/index.html 118 additions, 0 deletionsweb/authors/rosentrater/index.html
- web/authors/rosentrater/index.xml 16 additions, 0 deletionsweb/authors/rosentrater/index.xml
- web/authors/wangz/index.html 13 additions, 0 deletionsweb/authors/wangz/index.html
- web/authors/wangz/index.xml 8 additions, 0 deletionsweb/authors/wangz/index.xml
- web/data/keywords.json 2 additions, 0 deletionsweb/data/keywords.json
- web/entries/Mission_Time_LTL.html 1 addition, 0 deletionsweb/entries/Mission_Time_LTL.html
Loading
Please register or sign in to comment