Skip to content

Fix frontend to verify Dafny code#10

Open
nazime1 wants to merge 1 commit into
mainfrom
fix-frontend
Open

Fix frontend to verify Dafny code#10
nazime1 wants to merge 1 commit into
mainfrom
fix-frontend

Frontend should work

d2bff47
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs