Skip to content
#

proof

Star

Here are 200 public repositories matching this topic...

Language: All
Filter by language
All 200 Coq 25 JavaScript 25 Python 21 Java 10 C++ 9 Scala 9 TeX 9 TypeScript 8 C 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