PLRE

What it does

This VSCode plugin allows to develop files which can be analysed by programming language & reasoning engine & verify properties of programs.It incorporates information on underlying types/completions.

Built With

• php