Lib.rs

› Programming languages
#air #formal #logic #specification #language

air_main

by lambda

1 unstable release

0.0.1 Apr 15, 2024

#15 in #formal

MIT/Apache

520KB
18K SLoC

The Main Library of the Air Programming Language

Dependencies

~1.8–2.6MB
~52K SLoC