Description
Collection of tools for writing technical documents that mix Coq code and prose.
package
python3.13-alectryon
Metadata
Version
1.4.0License
Maintainers (1)
Platforms (33)
Darwin
FreeBSD
Linux
Windows
Show all
aarch64-darwinaarch64-freebsdaarch64-linuxaarch64-windowsarmv5tel-linuxarmv6l-linuxarmv7a-darwinarmv7a-linuxarmv7l-linuxi686-cygwini686-darwini686-freebsdi686-linuxi686-windowsloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-cygwinx86_64-darwinx86_64-freebsdx86_64-linuxx86_64-windows