AbstractPhil commited on
Commit
6e11a51
·
verified ·
1 Parent(s): aec6235

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -1,7 +1,7 @@
1
  ---
2
  license: mit
3
  ---
4
- # Updated proofs available here if altered
5
  https://github.com/AbstractEyes/lattice_vocabulary/blob/master/src/geovocab2/proofs/beatrix_rope.py
6
 
7
  # What is bert beatrix 200_000?
 
1
  ---
2
  license: mit
3
  ---
4
+ # Updated proofs available here if altered from visible code
5
  https://github.com/AbstractEyes/lattice_vocabulary/blob/master/src/geovocab2/proofs/beatrix_rope.py
6
 
7
  # What is bert beatrix 200_000?