This is stars and forks stats for /Deducteam/sttfaxport repository. As of 11 May, 2024 this repository has 0 stars and 1 forks.
STTfaXport Copyright Deducteam [email protected] 2022 With STTfaXport, you can export theories written in Dedukti in the encoding of STTfa to other proof assistants. To build STTfaXport, you need OCaml (probably greater than 4.08) Dedukti 2.7 dune You are free to copy, modify or redistribute STTfaXport with attribution under the terms of the CeCILL-B license. Install $ dune install Getting started The following guide shows you how to export a single file to Coq. Download the file connectives.dk...
STTfaXport Copyright Deducteam [email protected] 2022 With STTfaXport, you can export theories written in Dedukti in the encoding of STTfa to other proof assistants. To build STTfaXport, you need OCaml (probably greater than 4.08) Dedukti 2.7 dune You are free to copy, modify or redistribute STTfaXport with attribution under the terms of the CeCILL-B license. Install $ dune install Getting started The following guide shows you how to export a single file to Coq. Download the file connectives.dk...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| pawjy/dongry | PerlMakefile | 4 | 0 | 0 | 0 |
| uphold/json-output | PLpgSQLCMakefile | 3 | 0 | 1 | 0 |
| worldcoin/world-id-lens | SolidityJavaScriptMakefile | 83 | 0 | 6 | 0 |
| matsui528/math_writing | TeXMakefile | 89 | 0 | 1 | 0 |
| MaartenGr/BERTopic | PythonMakefile | 4.8k | 0 | 602 | 0 |
| aws-samples/serverless-samples | PythonJavaScriptShell | 226 | 0 | 98 | 0 |
| psycopg/psycopg2 | CPythonShell | 3k | 0 | 492 | 0 |
| radian-software/selectrum | Emacs LispMakefileShell | 735 | 0 | 33 | 0 |
| chaosblade-io/chaosblade | GoMakefileDockerfile | 5.5k | 0 | 903 | 0 |
| pseudomuto/protoc-gen-doc | GoMakefileOther | 2.5k | 0 | 464 | 0 |