![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| app-elim.v | 2019-07-18 09:04 | 4.8K | |
| axfreedom.v | 2020-07-07 18:21 | 4.3K | |
| bsat.v | 2019-07-18 09:04 | 14K | |
| compiler.v | 2020-06-22 20:21 | 2.0K | |
| cp.v | 2019-07-18 09:04 | 3.2K | |
| dat.v | 2020-07-02 18:55 | 18K | |
| dft.v | 2019-07-18 09:04 | 1.6K | |
| elim.v | 2020-05-18 20:24 | 3.3K | |
| exquant.v | 2020-05-25 19:44 | 2.0K | |
| fin.v | 2020-07-02 18:55 | 19K | |
| gs.v | 2019-07-18 09:04 | 4.6K | |
| indexed.v | 2019-07-18 09:04 | 5.1K | |
| infty.v | 2020-06-05 18:48 | 3.8K | |
| leibniz.v | 2019-07-18 09:04 | 3.2K | |
| list.v | 2020-07-02 18:56 | 16K | |
| nd.v | 2020-07-15 17:50 | 15K | |
| nd2019.v | 2019-07-18 09:04 | 7.9K | |
| num-lia.v | 2019-07-18 09:04 | 2.8K | |
| num.v | 2020-06-12 13:28 | 9.6K | |
| pairing.v | 2020-05-25 19:44 | 1.3K | |
| pat.v | 2019-07-18 09:04 | 3.9K | |
| prominent.v | 2019-07-18 09:04 | 2.8K | |
| recspec.v | 2020-05-29 19:11 | 3.2K | |
| sdec.v | 2019-07-18 09:04 | 6.2K | |
| size_rec.v | 2020-06-12 13:28 | 13K | |
| wfrec-equations.v | 2019-07-18 09:04 | 2.0K | |
| wfrec.v | 2019-07-18 09:04 | 8.2K | |
| wo.v | 2020-06-16 11:44 | 4.8K | |
| xm.v | 2019-07-18 09:04 | 2.8K | |