Spaces:

rex177
/

VeriDex

Paused

App Files Files Community

VeriDex / docs

17 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

Rakesh Kumar Raut

Initial commit of VeriDex source code (no binaries)

3e9c053 12 days ago

Final_Project_Report_Draft.md

8.81 kB
Initial commit of VeriDex source code (no binaries) 12 days ago
Proposed_Pipeline_Architecture.md

4.05 kB
Initial commit of VeriDex source code (no binaries) 12 days ago
Sample_Test_Statements.md

733 Bytes
Initial commit of VeriDex source code (no binaries) 12 days ago
dataset_comparison_insights.txt

3.38 kB
Initial commit of VeriDex source code (no binaries) 12 days ago