Add proofcraft.systems

https://proofcraft.systems/

https://twitter.com/lsf37/status/1389718414566981633

I can create a pull request later, just keep it tracked here. (feel free to create pull request if anyone else has time)

[Bruno-366]

seems to be a company from Australia that provides training and consulting for formal verification

[Bruno-366]

so location: Australia, sector: consulting and training?