Skip to content

Commit

Permalink
minor
Browse files Browse the repository at this point in the history
  • Loading branch information
zhong-shao committed Nov 8, 2024
1 parent f4f6307 commit ebf1bfb
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions compcertoe/compcertoe.tex
Original file line number Diff line number Diff line change
Expand Up @@ -6621,11 +6621,7 @@ \section{Conclusion} \label{sec:conclusion} %{{{
This material is based upon work supported in part by
\grantsponsor{GS100000001}{NSF}{http://dx.doi.org/10.13039/100000001} grants
\grantnum{GS100000001}{2313433} and
\grantnum{GS100000001}{2019285}, by
the \grantsponsor{GS100000005}{Defense Advanced Research Projects Agency
(DARPA) and Naval Information Warfare Center Pacific (NIWC
Pacific)}{http://dx.doi.org/10.13039/100000005} under Contract
No.~\grantnum{GS100000005}{N66001-21-C-4018}, and by the National Natural
\grantnum{GS100000001}{2019285} and by the National Natural
Science Foundation of China (NSFC) under Grant No. 62372290 and
62002217.
%
Expand Down

0 comments on commit ebf1bfb

Please sign in to comment.