Spaces:

Bikas0
/

Contract-Conditions-Extraction-and-Verification

Sleeping

App Files Files Community

Contract-Conditions-Extraction-and-Verification

Commit History

optimize doc

63a15c8

bikas commited on Jul 9

meet the requirements

a516f2c
verified

Bikas0 commited on Jul 8

complete code

281fa65
verified

Bikas0 commited on Jul 8

update the code

c5435a0
verified

Bikas0 commited on Jul 8

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

Commit History

optimize doc 63a15c8

meet the requirements a516f2c verified

complete code 281fa65 verified

update the code c5435a0 verified

update requirements f0894ca verified

update code e9584dc verified

Update the code f4f51e9

contract verification 1705208

contract verification 64efe54

contract verification 4f19f43

contract verification 5fc6a9d

initial commit 4d273c8 verified

optimize doc

63a15c8

meet the requirements

a516f2c
verified

complete code

281fa65
verified

update the code

c5435a0
verified

update requirements

f0894ca
verified

update code

e9584dc
verified

Update the code

f4f51e9

contract verification

1705208

contract verification

64efe54

contract verification

4f19f43

contract verification

5fc6a9d

initial commit

4d273c8
verified