Community Package Repository Notification
Your use of the packages on this site means you understand they are not supported or guaranteed in any way. Due to the nature of a public repository and unreliability due to distribution rights, these packages should not be used as is for organizational purposes either. Learn more.
Search for "tag:lean" Returned 2
Displaying Results 1 - 2 of 2
Lean is an open source theorem prover and programming language being developed at Microsoft Research.
FileOptimizer is a lossless multi format compressor (for jpeg, png, exe etc..., with an ergonomic GUI, drag and drop system, you can wipe ... Keep Reading>