Spaces:

Bikas0
/

Contract-Conditions-Extraction-and-Verification

Sleeping

App Files Files Community

Contract-Conditions-Extraction-and-Verification

Commit History

update requirements

f0894ca
verified

Bikas0 commited on Jul 8

update code

e9584dc
verified

Bikas0 commited on Jul 8

Update the code

f4f51e9

Bikas0 commited on Jul 6

contract verification

1705208

Bikas0 commited on Jul 5

contract verification

64efe54

Bikas0 commited on Jul 5

contract verification

4f19f43

Bikas0 commited on Jul 5

contract verification

5fc6a9d

Bikas0 commited on Jul 5

initial commit

4d273c8
verified

Bikas0 commited on Jul 5