AutoCorrode/ROOT at main · DominicPM/AutoCorrode · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
session AutoCorrode = HOL +
  sessions
    "HOL-Eisbach"
    "HOL-Library"
    "Word_Lib"
    (* AutoCorrode specific *)
    "Autogen"
    "Byte_Level_Encoding"
    "Crush"
    "Data_Structures"
    "iq"
    "Micro_Rust_Examples"
    "Micro_Rust_Interfaces"
    "Micro_Rust_Interfaces_Core"
    "Micro_Rust_Parsing_Frontend"
    "Micro_Rust_Runtime"
    "Micro_Rust_Std_Lib"
    "Micro_C_Parsing_Frontend"
    "Shallow_Micro_C"
    "Micro_C_Examples"
    "Misc"
    "Lenses_And_Other_Optics"
    "Separation_Lenses"
    "Shallow_Micro_Rust"
    "Shallow_Separation_Logic"
  theories [document = false]
    "AutoCorrode"