Skip to content

Update README with local running instructions#183

Open
SuperCowProducts wants to merge 1 commit into
leanprover-community:masterfrom
SuperCowProducts:master
Open

Update README with local running instructions#183
SuperCowProducts wants to merge 1 commit into
leanprover-community:masterfrom
SuperCowProducts:master

Conversation

@SuperCowProducts

Copy link
Copy Markdown

Added instructions for fixing links when running locally.

Added instructions for fixing links when running locally.
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.

1 participant