# zakuro9715/vspect

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/zakuro9715-vspect).**

2 stars · 1 forks · Coq · GPL-3.0 · archived

## Links

- GitHub: https://github.com/zakuro9715/vspect
- awesome-repositories: https://awesome-repositories.com/repository/zakuro9715-vspect.md

## Description

vspect had been archived and no longer work. Use new Vs official command v ast`

## Tags

### Part of an Awesome List

- [Command Line Utilities](https://awesome-repositories.com/f/awesome-lists/devtools/command-line-utilities.md) — Source code inspection tool.