tptp-lark-parser
A TPTP parser using Lark
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
noarch/tptp-lark-parser-0.2.0-pyhd8ed1ab_1.conda | conda | 0.2.0 | noarch | main | Jan 11, 2025, 11:25 AM | 93.63 KB | 971 | |
noarch/tptp-lark-parser-0.2.0-pyhd8ed1ab_0.conda | conda | 0.2.0 | noarch | main | Feb 9, 2023, 08:20 AM | 93.79 KB | 2.1K | |
noarch/tptp-lark-parser-0.1.2-pyhd8ed1ab_0.conda | conda | 0.1.2 | noarch | main | Jan 2, 2023, 12:04 PM | 93.95 KB | 2.0K | |
noarch/tptp-lark-parser-0.0.12-pyhd8ed1ab_0.tar.bz2 | conda | 0.0.12 | noarch | main | Oct 12, 2022, 01:11 PM | 64.76 KB | 2.1K | |
noarch/tptp-lark-parser-0.0.9-pyhd8ed1ab_0.tar.bz2 | conda | 0.0.9 | noarch | main | Aug 5, 2022, 03:54 PM | 64.85 KB | 2.3K | |
noarch/tptp-lark-parser-0.0.8-pyhd8ed1ab_0.tar.bz2 | conda | 0.0.8 | noarch | main | Jul 31, 2022, 09:42 AM | 66.47 KB | 2.3K | |
noarch/tptp-lark-parser-0.0.7-pyhd8ed1ab_0.tar.bz2 | conda | 0.0.7 | noarch | main | Jun 17, 2022, 12:52 PM | 65.66 KB | 2.6K | |
noarch/tptp-lark-parser-0.0.6-pyhd8ed1ab_0.tar.bz2 | conda | 0.0.6 | noarch | main | Jun 13, 2022, 08:03 PM | 63.01 KB | 2.6K | |
noarch/tptp-lark-parser-0.0.5-pyhd8ed1ab_0.tar.bz2 | conda | 0.0.5 | noarch | main | Jun 12, 2022, 11:27 AM | 62.88 KB | 2.6K | |
noarch/tptp-lark-parser-0.0.4-pyhd8ed1ab_0.tar.bz2 | conda | 0.0.4 | noarch | main | May 26, 2022, 03:37 PM | 33.25 KB | 2.6K |