Activity
fix: update flake pin
fix: update flake pin
fix: send a proof view when we reach execution of a sentence in conti…
fix: send a proof view when we reach execution of a sentence in conti…
Force push
fix: send a proof view when executing a sentence which was clicked on
fix: send a proof view when executing a sentence which was clicked on
Force push
process feedback in batches (fix #878)
process feedback in batches (fix #878)
Deleted branch
Deleted branch
release: bump version
release: bump version
fix dependencies of ppx
fix dependencies of ppx
Force push
fix: nixpkgs commit url
fix: nixpkgs commit url
fix dependencies of ppx
fix dependencies of ppx
Update flake.nix
Update flake.nix
Merge pull request #1026 from ppedrot/tok-rm-equal-le-retour
Merge pull request #1026 from ppedrot/tok-rm-equal-le-retour
Pull request merge
Merge pull request #1023 from ppedrot/tok-rm-equal
Merge pull request #1023 from ppedrot/tok-rm-equal
Pull request merge
fix test suite
fix test suite
Deleted branch
fix: uncaught error when printing ast
fix: uncaught error when printing ast