Skip to content
#

proof

Star

Here are 177 public repositories matching this topic...

Language: All
Filter by language
All 177 Coq 23 JavaScript 23 Python 19 Java 10 C++ 9 Scala 9 TypeScript 8 C 7 TeX 7 Agda 6
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

kth-step / HolBA

Star
Open

Add signature to libraries

2
totorigolo
totorigolo commented Apr 24, 2019

We should write .sig files for libraries.

This command is maybe too simple but it shows that we are missing some of them.

$ cd /path/to/HolBA/src/
$ find . -name "*Lib.sml" -exec sh -c "echo {} | sed 's/Lib.sml/Lib.sig/' | xargs ls >/dev/null" \;
ls: cannot access './tools/cfg/graphVizLib.sig': No such file or directory
ls: cannot access './tools/cfg/bir_cfgLib.sig': No such file or
Read more
enhancement good first issue

Improve this page

Add a description, image, and links to the proof topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.