C vs Lean

C is a general-purpose, procedural programming language originally developed at Bell Labs that has influenced virtually all modern programming languages. It provides low-level memory access, minimal runtime overhead, and is widely used for operating systems, embedded systems, and performance-critical applications.

Lean is functional programming language and interactive theorem prover, used for formal mathematical proofs and verified software. It provides comprehensive features for programming language workflows. The tool is actively maintained with regular updates and strong community/vendor support.