Similar repositories to NLP-CISUC/PT-LexicalSemantics:
NLP-CISUC/PT-LexicalSemantics
github
similar
carlosganzerla/cl-gen
github
similar
zygi/lean-protoc-plugin
github
similar
TOTBWF/lean4-raytrace
github
similar
racket-tw/k
github
similar
shriram/gradescope-racket
github
similar
alashworth/sf-lean
github
similar
cu-clear/semlink
github
similar
LR-POR/MorphoBr
github
similar
avigad/lamr
github
similar
GaloisInc/lean4-balance-car
github
similar
leanprover-community/format_lean
github
similar
arcfide/ChezWEB
github
similar
IPDSnelting/tba-2021
github
similar
leanprover/lake
github
similar
leanprover/tc
github
similar
leanprover-community/lftcm2020
github
similar
JLimperg/aesop
github
similar
SMLFamily/The-Mechanization-of-Standard-ML
github
similar
gebner/hott3
github
similar
lecopivo/SciLean
github
similar
leanprover/logic_and_proof
github
similar
TwoFX/sudoku
github
similar
kmill/lean4-raytracer
github
similar
abntex/biblatex-abnt
github
similar
ProofSystem/Encyclopedia
github
similar
rems-project/lem
github
similar
CMU-HoTT/scott
github
similar
leanprover-community/tutorials
github
similar
ImperialCollegeLondon/M40001_lean
github
similar
formalabstracts/formalabstracts
github
similar
justinbarclay/parinfer-rust-mode
github
similar
nasa/pvslib
github
similar
cpitclaudel/alectryon
github
similar
haskell-beginners-2022/exercises
github
similar
Hyperparticle/udify
github
similar
kbuzzard/xena
github
similar
jgm/yst
github
similar
haskell-beginners-2022/course-plan
github
similar
emina/rosette
github
similar