Thanks to visit codestin.com
Credit goes to github.com

Skip to content
This repository was archived by the owner on Jul 24, 2019. It is now read-only.

Tags: coq-io/evaluate

Tags

1.0.0

Toggle 1.0.0's commit message
s/Eval/Evaluate/