[{"title":"( 14 个子文件 95KB ) 并发的状态下的一阶逻辑公式转KS.zip","children":[{"title":"FOL2KS","children":[{"title":"Form1.cs <span style='color:#111;'> 26.77KB </span>","children":null,"spread":false},{"title":"bin","children":[{"title":"Debug","children":[{"title":"netcoreapp3.1","children":[{"title":"FOL2KS.runtimeconfig.dev.json <span style='color:#111;'> 234B </span>","children":null,"spread":false},{"title":"FOL2KS.dll <span style='color:#111;'> 9.50KB </span>","children":null,"spread":false},{"title":"FOL2KS.deps.json <span style='color:#111;'> 410B </span>","children":null,"spread":false},{"title":"FOL2KS.pdb <span style='color:#111;'> 12.49KB </span>","children":null,"spread":false},{"title":"FOL2KS.exe <span style='color:#111;'> 170.50KB </span>","children":null,"spread":false},{"title":"FOL2KS.runtimeconfig.json <span style='color:#111;'> 161B </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true},{"title":"Program.cs <span style='color:#111;'> 593B </span>","children":null,"spread":false},{"title":"Form1.Designer.cs <span style='color:#111;'> 5.02KB </span>","children":null,"spread":false},{"title":"FirstOrderFormula.cs <span style='color:#111;'> 1.54KB </span>","children":null,"spread":false},{"title":"FOL2KS.csproj.user <span style='color:#111;'> 278B </span>","children":null,"spread":false},{"title":"FOL2KS.csproj <span style='color:#111;'> 242B </span>","children":null,"spread":false},{"title":"Form1.resx <span style='color:#111;'> 2.75KB </span>","children":null,"spread":false},{"title":"ClassDiagram1.cd <span style='color:#111;'> 1.19KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]