abella
Interactive theorem prover based on lambda-tree syntax
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 29 Jan 2021
- Authors
- Maintainers
Sources
v2.0.7.tar.gz
md5=1e5a56fb213d628d86fef3166caea54d
sha512=c796800d49214e9dc574c3e94ac683b92e57459a956a3718212af133f519d55f0d7f4bed3126e37fc17001aede971d4f8c33045c319e9c2d11cdb68c1b737c83
Dependencies
Reverse Dependencies