Skip to content

did some more exercises in coq#10

Open
shanth2600 wants to merge 1 commit intomasterfrom
more-coq
Open

did some more exercises in coq#10
shanth2600 wants to merge 1 commit intomasterfrom
more-coq

Conversation

@shanth2600
Copy link
Collaborator

No description provided.

@kyledewey kyledewey requested a review from liadGolan December 5, 2018 23:29
@kyledewey
Copy link

Assigned @liadGolan. @liadGolan - you have the right to say you can't review this.

@liadGolan
Copy link

As much as I would like to, I have no way of knowing what was done or if it was done correctly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants