OpenSuSE Ports Tumbleweed for riscv64 : / usr /lib64 /coq /theories /Program

• .coq-native
• Basics.glob
• Basics.v
• Basics.vo
• Combinators.glob
• Combinators.v
• Combinators.vo
• Equality.glob
• Equality.v
• Equality.vo
• Program.glob
• Program.v
• Program.vo
• Subset.glob
• Subset.v
• Subset.vo
• Syntax.glob
• Syntax.v
• Syntax.vo
• Tactics.glob
• Tactics.v
• Tactics.vo
• Utils.glob
• Utils.v
• Utils.vo
• Wf.glob
• Wf.v
• Wf.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Feb 20 00:53:01 2025