MyNixOS website logo
Description

General topology in Coq.

This library develops some of the basic concepts and results of general topology in Coq.

Metadata

Version

10.2.0

Maintainers (1)

Platforms (44)

    Darwin
    FreeBSD 13
    Linux
    NetBSD
    OpenBSD
    Redox
    Solaris
    Windows
Show all
  • aarch64-darwin
  • aarch64-linux
  • aarch64-netbsd
  • armv5tel-linux
  • armv6l-linux
  • armv6l-netbsd
  • armv7a-darwin
  • armv7a-linux
  • armv7a-netbsd
  • armv7l-linux
  • armv7l-netbsd
  • i686-cygwin
  • i686-darwin
  • i686-freebsd13
  • i686-linux
  • i686-netbsd
  • i686-openbsd
  • loongarch64-linux
  • m68k-linux
  • m68k-netbsd
  • microblaze-linux
  • microblazeel-linux
  • mips-linux
  • mips64-linux
  • mips64el-linux
  • mipsel-linux
  • mipsel-netbsd
  • powerpc-netbsd
  • powerpc64-linux
  • powerpc64le-linux
  • riscv32-linux
  • riscv32-netbsd
  • riscv64-linux
  • riscv64-netbsd
  • s390-linux
  • s390x-linux
  • x86_64-cygwin
  • x86_64-darwin
  • x86_64-freebsd13
  • x86_64-linux
  • x86_64-netbsd
  • x86_64-openbsd
  • x86_64-redox
  • x86_64-solaris