Folder Path

/msc/thesis/repo-archive/slides/thesis-defense/agda/patches/

0 directories 10 files 25 KiB total
List Grid
Name
Size Modified
Up
Defense.SectionDTPAgda.head.patch
1.1 KiB
PiWare.Atom.Bool.Absurd.patch
2.8 KiB
PiWare.Circuit.Core.Circuit-core.patch
4.0 KiB
PiWare.Gates.BoolTrio.Absurd.patch
1.5 KiB
PiWare.ProofSamples.AndN.proof-andN.patch
1.3 KiB
PiWare.ProofSamples.BoolTrioComb.xor-proof.patch
3.3 KiB
PiWare.Simulation.Core.eval-causal.patch
3.5 KiB
PiWare.Simulation.Core.run-causal.patch
2.9 KiB
PiWare.Simulation.eval.patch
2.0 KiB
PiWare.Synthesizable.Synth-Product.patch
2.4 KiB