viper

Stream: lean4

[Arthur Paulino]

Hi everyone!

I'm happy to announce my first piece of software meant for daily use built in Lean 4: viper.

It's a lightweight Python environment management tool as well as an interface for python and pip. I built it because I got tired of

$ which python
$ which python3
$ which pip
$ which pip3
$ conda activate
$ conda deactivate
$ python blah
$ pip bleh

Instead, viper centralizes everything with an unified API.
Thanks @Julian Berman for the venvs idea and for the guidance on child processes!