diff options
| author | Son Ho | 2024-04-04 14:18:32 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 14:18:32 +0200 |
| commit | 0c3be2a82205d2737546c7ce8b15b6ad07f34095 (patch) | |
| tree | 55906070f19df2a3185250df2aef36f47669842a /backends/lean/Base/Primitives/Scalar.lean | |
| parent | ec7a1d3c94846a94481a487dd077efb6ddb108fe (diff) | |
Update the nix flake
Diffstat (limited to 'backends/lean/Base/Primitives/Scalar.lean')
0 files changed, 0 insertions, 0 deletions