diff options
| author | Pierre Roux | 2020-09-03 13:15:00 +0200 |
|---|---|---|
| committer | Pierre Roux | 2020-11-05 00:20:19 +0100 |
| commit | 7ea7834b442cbfbf3299536020cb033702b2535c (patch) | |
| tree | 22dbe8e0389a689beb7209c3ecd1316b5f64110c /plugins/syntax/r_syntax_plugin.mlpack | |
| parent | c217bbe80e18255ee3e67fa6266736529d80636d (diff) | |
[numeral notation] Remove proofs for Q
Just to get a cleaner log, this will be proved again in a few commits.
Diffstat (limited to 'plugins/syntax/r_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions