Special things (apart from mathematics) that can be forma...

Stream: new members

[Anh Nguyễn]

Could I ask about Lean’s potential to formalize non-mathematics things

[Anh Nguyễn]

What have been formalized and potentially be formalized

[Edward van de Meent]

Iirc some people announced a formalization of RISC-V architecture?

[Anh Nguyễn]

Can physics or cryptography be formalized as well

[Henrik Böving]

Yes, both of those have seen work with Lean